Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification : first international conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings

Medientyp: Buch; Konferenzbericht
Titel: Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first international conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings
Beteiligte: Lecomte, Thierry [HerausgeberIn]; Pinger, Ralf [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn]
Erschienen: [Cham]; Heidelberg: $nSpringer, [2016]
Erschienen in: Lecture notes in computer science ; 9707
Umfang: XII, 253 Seiten; Illustrationen, Diagramme; 23.5 cm x 15.5 cm, 0 g
Sprache: Englisch
ISBN: 9783319339504
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 978-3-319-33950-4
Sonstige Nummer: 86852403
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Informatik
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first international conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings