• Medientyp: E-Artikel
  • Titel: 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
  • Beteiligte: Ul Muram, Faiz; Gallina, Barbara; Kanwal, Samina
  • Erschienen: Springer International Publishing, 2019
  • Erschienen in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019), Seite 125-141
  • Sprache: Nicht zu entscheiden
  • DOI: 10.1007/978-3-030-18744-6_8
  • ISBN: 9783030187439; 9783030187446
  • ISSN: 0302-9743; 1611-3349
  • Entstehung:
  • Anmerkungen: