Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail ... (Lecture Notes in Computer Science, 9707) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Reliability, Safety, and Security of Railway Systems....
Stock Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail . (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783319339504
Buy New
£ 47.77
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Reliability, Safety, and Security of Railway Systems : Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 26305105-n
Buy New
£ 50.25
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Reliability, Safety, and Security of Railway Systems : Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 26305105-n
Stock Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 1ad6ba4afffdf275ac483ecaf905260c
Buy New
£ 41.53
£ 26.17 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Published by
Springer International Publishing Jun 2016, 2016
ISBN 10: 3319339508
ISBN 13: 9783319339504
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements. 268 pp. Englisch. Seller Inventory # 9783319339504
Stock Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail . (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 249. Seller Inventory # 371335790
Buy New
£ 65.59
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail . (Lecture Notes in Computer Science)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 249. Seller Inventory # 18374709691
Seller Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Published by
Springer International Publishing, 2016
ISBN 10: 3319339508
ISBN 13: 9783319339504
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised. Seller Inventory # 119371387
Buy New
£ 43.46
£ 42.74 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification; First International Conference, Rssrail 2016, Paris, France, June 28-30, 2016, Proceedings
Published by
Springer-Verlag New York Inc, 2016
ISBN 10: 3319339508
ISBN 13: 9783319339504
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 268 pages. 9.25x6.10x0.61 inches. In Stock. Seller Inventory # x-3319339508
Buy New
£ 66.08
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN 10: 3319339508
ISBN 13: 9783319339504
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the FirstSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 268 pp. Englisch. Seller Inventory # 9783319339504