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 Machine Learning for the Quantified Self by
Cover of the book Summability Calculus by
Cover of the book Quantum Radiation in Ultra-Intense Laser Pulses by
Cover of the book Advances in Production, Logistics and Traffic by
Cover of the book Designing a Sustainable Financial System by
Cover of the book Algebraic and Differential Methods for Nonlinear Control Theory by
Cover of the book The Transitory Nature of Parent, Sibling and Romantic Partner Relationships in Emerging Adulthood by
Cover of the book Fundamentals of Electronic Systems Design by
Cover of the book A Student's Guide Through the Great Physics Texts by
Cover of the book Rethinking Social Studies Teacher Education in the Twenty-First Century by
Cover of the book Aperture Antennas for Millimeter and Sub-Millimeter Wave Applications by
Cover of the book On the Move to Meaningful Internet Systems. OTM 2018 Conferences by
Cover of the book Industrial IoT Technologies and Applications by
Cover of the book Financial Crises and Earnings Management Behavior by
Cover of the book Advanced Information Systems Engineering Workshops 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