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 Correlated Functional Oxides by
Cover of the book Two Bit Circus and the Future of Entertainment by
Cover of the book Land-Cover and Land-Use Changes in Eastern Europe after the Collapse of the Soviet Union in 1991 by
Cover of the book Algorithms and Architectures for Parallel Processing by
Cover of the book A Comprehensive Guide to Core Needle Biopsies of the Breast by
Cover of the book Innovative Web Applications for Analyzing Traffic Operations by
Cover of the book Neurolaryngology by
Cover of the book Biodiversity of Lianas by
Cover of the book Melanonychias by
Cover of the book International Trade Policy and European Industry by
Cover of the book Vector Variational Inequalities and Vector Optimization by
Cover of the book Meaning in Dialogue by
Cover of the book Democracy under Threat by
Cover of the book Christian Ethics and Corporate Culture by
Cover of the book Research and Development in Intelligent Systems XXX 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