Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail ... and Software Engineering, Band 10598) - Softcover

 
9783319684987: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail ... and Software Engineering, Band 10598)
Softcover
ISBN 10: 3319684981 ISBN 13: 9783319684987
Verlag: Springer, 2017

Inhaltsangabe

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017.
The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2017
Sprache
Englisch
ISBN 10 
3319684981
ISBN 13 
9783319684987
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
284
Herausgeber
Fantechi Alessandro, Lecomte Thierry, Romanovsky Alexander
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783319685007: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail ... Italy, November 14-16, 2017, Proceedings

Vorgestellte Ausgabe

ISBN 10:  3319685007 ISBN 13:  9783319685007
Verlag: Springer, 2017
Softcover