Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2016
Industrial Deployment of System Engineering Methods
2013
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