Items related to Reliability, Safety, and Security of Railway Systems....
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail ... (Lecture Notes in Computer Science, 14198) - Softcover
Synopsis
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.
The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
"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 (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Seller Inventory # mon0003612464
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 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # G9R49QB2FP
Buy New
£ 51.25
£ 4.70 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Reliability, Safety, and Security of Railway Syste
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-354789
Stock Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031433658_new
Buy New
£ 55.92
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9783031433658
Seller Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Published by
Springer Nature Switzerland, Springer International Publishing Sep 2023, 2023
ISBN 10: 3031433653
ISBN 13: 9783031433658
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 proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling. 248 pp. Englisch. Seller Inventory # 9783031433658
Stock Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 248. Seller Inventory # 26398554171
Stock Image
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (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. 248. Seller Inventory # 397855716
Buy New
£ 84.57
£ 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: 5th International Conference, Rssrail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Published by
Springer-Nature New York Inc, 2023
ISBN 10: 3031433653
ISBN 13: 9783031433658
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 246 pages. 9.25x6.10x0.52 inches. In Stock. Seller Inventory # x-3031433653
Buy New
£ 81.78
£ 10 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
Published by
Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031433653
ISBN 13: 9783031433658
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023. Seller Inventory # 1027290361
Buy New
£ 54.17
£ 41.86 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available