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

First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Nonfiction, Computers, 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: 9783319339511
Publisher: Springer International Publishing Publication: June 14, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319339511
Publisher: Springer International Publishing
Publication: June 14, 2016
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the First

International Conference on Reliability, Safety, and Security of Railway

Systems, RSSRail 2016, held in Paris, France, in June 2016.

The 15 revised full papers presented were carefully reviewed and

selected from 36 initial submissions. The papers cover a wide range of

topics including failure analysis, interlocking verification, formal

system specification and refinement, security analysis of ERTMS, safety

verification, formalisation of requirements, proof automation,

operational security, railway system reliability, risk assessment for

ERTMS, and verification of EN-50128 safety requirements.

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

This book constitutes the refereed proceedings of the First

International Conference on Reliability, Safety, and Security of Railway

Systems, RSSRail 2016, held in Paris, France, in June 2016.

The 15 revised full papers presented were carefully reviewed and

selected from 36 initial submissions. The papers cover a wide range of

topics including failure analysis, interlocking verification, formal

system specification and refinement, security analysis of ERTMS, safety

verification, formalisation of requirements, proof automation,

operational security, railway system reliability, risk assessment for

ERTMS, and verification of EN-50128 safety requirements.

More books from Springer International Publishing

Cover of the book Growth Curve Models and Applications by
Cover of the book Long-Term Outcomes of Epilepsy Surgery in Adults and Children by
Cover of the book Working Class Girls, Education and Post-Industrial Britain by
Cover of the book Law, Politics and the Limits of Prosecuting Mass Atrocity by
Cover of the book On Keats’s Practice and Poetics of Responsibility by
Cover of the book Energy-Efficient VCSELs for Optical Interconnects by
Cover of the book An Introduction to Fuzzy Linear Programming Problems by
Cover of the book Spatial Network Data by
Cover of the book Molecular Response Functions for the Polarizable Continuum Model by
Cover of the book A Shamanic Pneumatology in a Mystical Age of Sacred Sustainability by
Cover of the book Declarative Programming and Knowledge Management by
Cover of the book Nailing the Written Emergency Medicine Board Examination by
Cover of the book Continuous-Time Digital Front-Ends for Multistandard Wireless Transmission by
Cover of the book The Role of Heat Shock Proteins in Reproductive System Development and Function by
Cover of the book Clays and Health 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