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

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9783319684987: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Modelling, Analysis, Verification, and ... November 14-16, 2017, Proceedings: 10598

Edizione in evidenza

ISBN 10:  3319684981 ISBN 13:  9783319684987
Casa editrice: Springer, 2017
Brossura