• Media type: E-Article
  • Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process
  • Contributor: Ul Muram, Faiz; Gallina, Barbara; Kanwal, Samina
  • Published: Springer International Publishing, 2019
  • Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019), Seite 125-141
  • Language: Not determined
  • DOI: 10.1007/978-3-030-18744-6_8
  • ISBN: 9783030187439; 9783030187446
  • ISSN: 0302-9743; 1611-3349
  • Origination:
  • Footnote: