Libros
Trustworthy Cyber-Physical Systems Engineering
2016
Computer Safety, Reliability, and Security
2019
Computer Safety, Reliability, and Security
2019
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2019
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2017
Software Engineering for Resilient Systems
2017