Xander Romanovsky Reliability Safety And Security Of Railway Systems Modelling Analysis Verification And Certification Second International Conference Rssrail 2017 Pistola Italy November 14-16 2017 Proceedings(1st Edition)
Authors:
Alessandro Fantechi ,Thierry Lecomte ,Alexander Romanovsky
In Stock
Include with your book
Free shipping: April 30, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3319684981, 978-3319684987
Book publisher: Springer
Xander Romanovsky Reliability Safety And Security Of Railway Systems Modelling Analysis Verification And Certification Second International Conference Rssrail 2017 Pistola Italy November 14-16 2017 Proceedings 1st Edition Summary: This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.
Frequently Bought Together
Windows Security Internals A Deep Dive Into Windows Authentication Authorization And Auditing - 1st Edition
James Forshaw
ISBN: 1718501986, 978-1718501980
$0 $47.32
Six Figure Carpet Cleaning Start And Run A Successful Carpet Cleaning Business - 1st Edition
John Braun
ISBN: 168753750X, 978-1687537508
$0 $16.67
Skills For Accounting Research FASB Codification And EIFRS Text And Cases - 4th Edition
Shelby Collins
ISBN: 1618533150, 9781618533159
$0 $150.00
Everyday Nietzsche The Struggle Of Individuality Reflections On Better Living - 1st Edition
Ben Mitchell
ISBN: B0CTCDP7GL, 979-8876984081
$0 $9.99
Passive And Active Measurement 2 International Conference Pam 2023 Virtual Event March 21-23 2023 Proceedings PAM 2023 - 1st Edition
Anna Brunstrom
ISBN: 3031284852, 978-3031284854
$0 $60.24
Applications And Techniques In Information Security 11th International Conference ATIS 2020 Brisbane QID Australia November 12-13 2020 Proceedings - 1st Edition
Lejla Batina
ISBN: 9813347058, 978-9813347052
$0 $10.21