000 00767nmm a2200241Ia 4500
001 EBK21072
005 20250328155409.0
008 250328s9999 xx 000 0 und d
020 _a9783031058141
100 _aSimon Collart-Dutilleul
245 0 _a"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"
250 _a1st ed. 2022
260 _bSpringer
260 _c2022
490 _aLecture Notes in Computer Science
650 _aComputer Science
650 _aSoftware Engineering
700 _a Anne E. Haxthausen
700 _a Thierry Lecomte
856 _3Click here to access online
856 _uhttps://link.springer.com/openurl?genre=book&isbn=978-3-031-05814-1
942 _cEBK
999 _c169077
_d169077