Formal Methods Applied to Industrial Complex Systems More Books Like This
Static Analysis of Software
2013
Computer Safety, Reliability, and Security
2010
Computer Safety, Reliability, and Security
2009
Computer Safety, Reliability, and Security
2016
Certifiable Software Applications 3
2018
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2019
Model-Based Safety and Assessment
2017
Foundations of Computer Software
2011
Computer Safety, Reliability, and Security
2017
Computer Safety, Reliability, and Security
2008
Software Engineering for Resilient Systems
2017
Computer Safety, Reliability, and Security
2019
Computer Safety, Reliability, and Security
2018
Formal Methods for Industrial Critical Systems
2019
Dependable Computer Systems
2011