Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Programming, Software Development, General Computing
Cover of the book Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319684994
Publisher: Springer International Publishing Publication: November 6, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319684994
Publisher: Springer International Publishing
Publication: November 6, 2017
Imprint: Springer
Language: English

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. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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. 

More books from Springer International Publishing

Cover of the book Anti-Jamming Transmissions in Cognitive Radio Networks by
Cover of the book Short Stay Management of Atrial Fibrillation by
Cover of the book Advances in Human Factors in Simulation and Modeling by
Cover of the book Electronic Government by
Cover of the book Biomedical Engineering Systems and Technologies by
Cover of the book Applied Simulation and Optimization 2 by
Cover of the book Impact of Energy Balance on Cancer Disparities by
Cover of the book Flowering Plants. Eudicots by
Cover of the book HCI Redux by
Cover of the book Numerical Methods in Matrix Computations by
Cover of the book Analytics in Smart Tourism Design by
Cover of the book Health Care in Eleventh-Century China by
Cover of the book Investigating Cultural Aspects in Indian Organizations by
Cover of the book Sustainable Electricity II by
Cover of the book Familial Mediterranean Fever by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy