Embedded Software Development for Safety-Critical Systems, Second Edition More Books Like This
Computer Safety, Reliability, and Security
2007
Computer Safety, Reliability, and Security
2017
Computer Safety, Reliability, and Security
2016
Computer Safety, Reliability, and Security
2020
Computer Safety, Reliability, and Security
2022
Dependable Computer Systems
2011
Software Engineering for Resilient Systems
2015
Formal Methods Applied to Industrial Complex Systems
2014
Model-Based Safety and Assessment
2020
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2016
Model-Based Safety and Assessment
2017
Model-Based Safety and Assessment
2019
Formal Techniques for Safety-Critical Systems
2016
Model-Based Safety and Assessment
2022
Critical Systems: Formal Methods and Automated Verification
2016