000			00730nam a2200145Ia 4500
008			191030s9999 xx 000 0 und d
020			_a9783319684994
100			_aAlessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
245		0	_aReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
260			_bSpringer _c2017
440			_aLecture Notes in Computer Science
653			_aSoftware Engineering; Computing Methodologies; Theory of Computation; Computer Systems Organization and Communication Networks; Systems and Data Security; Control Structures and Microprogramming
856			_uhttp://link.springer.com/openurl?genre=book&isbn=978-3-319-68498-7
942			_cEB
999			_c44093 _d44093