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년