Trustworthy Cyber-Physical Systems Engineering
٢٠١٦
Computer Safety, Reliability, and Security
٢٠١٩
Computer Safety, Reliability, and Security
٢٠١٩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٧
Software Engineering for Resilient Systems
٢٠١٧