Formal Methods Applied to Complex Systems More Books Like This

Static Analysis of Software Static Analysis of Software
Static Analysis of Software
2013
SDL '99 SDL '99
SDL '99
1999
SDL '97: Time for Testing SDL '97: Time for Testing
SDL '97: Time for Testing
1997
Certifiable Software Applications 3 Certifiable Software Applications 3
Certifiable Software Applications 3
2018
Object-Oriented Technology and Computing Systems Re-Engineering Object-Oriented Technology and Computing Systems Re-Engineering
Object-Oriented Technology and Computing Systems Re-Engineering
1999
Trustworthy Cyber-Physical Systems Engineering Trustworthy Cyber-Physical Systems Engineering
Trustworthy Cyber-Physical Systems Engineering
2016
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2012
Dynamic Modelling of Information Systems Dynamic Modelling of Information Systems
Dynamic Modelling of Information Systems
2014