Formal Methods Applied to Industrial Complex Systems More Books Like This

Static Analysis of Software Static Analysis of Software
Static Analysis of Software
2013
Certifiable Software Applications 3 Certifiable Software Applications 3
Certifiable Software Applications 3
2018
SDL '99 SDL '99
SDL '99
1999
Trustworthy Cyber-Physical Systems Engineering Trustworthy Cyber-Physical Systems Engineering
Trustworthy Cyber-Physical Systems Engineering
2016
Safety of Computer Architectures Safety of Computer Architectures
Safety of Computer Architectures
2013
SDL '97: Time for Testing SDL '97: Time for Testing
SDL '97: Time for Testing
1997
Fundamentals of Dependable Computing for Software Engineers Fundamentals of Dependable Computing for Software Engineers
Fundamentals of Dependable Computing for Software Engineers
2012
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
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
2012
Software Testing Software Testing
Software Testing
2021