search for books and compare prices
cover 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
By Alexander Romanovsky (editor), Thierry Lecomte (editor) and Ralf Pinger (editor)
Price
Store
Arrives
Preparing
Shipping

Jump quickly to results on these stores:

The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Jump down to see edition details for: Paperback
Bibliographic Detail
Publisher Springer-Verlag New York Inc
Publication date June 4, 2016
Binding Paperback
Book category Adult Non-Fiction
ISBN-13 9783319339504
ISBN-10 3319339508
Dimensions 0 by 6.10 by 9.25 in.
Original list price $72.00
Summaries and Reviews
Amazon.com description: Product Description:
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.


Editions
Paperback
Book cover for 9783319339504
 
The price comparison is for this edition
With Ralf Pinger (other contributor), Thierry Lecomte (other contributor) | from Springer-Verlag New York Inc (June 4, 2016)
9783319339504 | details & prices | List price $72.00
About: 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.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.