|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings (Paperback, 1st ed. 2016)
Loot Price: R2,186
Discovery Miles 21 860
|
|
|
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings (Paperback, 1st ed. 2016)
Series: Programming and Software Engineering, 9707
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
