Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

समान संसाधन

• Computer Safety, Reliability, and Security
  प्रकाशित: (2020)
• Software Safety and Security: Tools for Analysis and Verification
  द्वारा: Nipkow, Tobias, और अन्य
  प्रकाशित: (2014)
• String Analysis for Software Verification and Security
  द्वारा: Bultan, Tevfik, और अन्य
  प्रकाशित: (2020)
• Computer Safety, Reliability, and Security
  द्वारा: Gallina, Barbara, और अन्य
  प्रकाशित: (2020)
• Modelling and Verification of Secure Exams
  द्वारा: Giustolisi, Rosario
  प्रकाशित: (2020)