[Lecture Notes in Computer Science] Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Volume 11495 (Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings) || Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System
Collart-Dutilleul, Simon, Lecomte, Thierry, Romanovsky, AlexanderVolume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-18744-6_3
File:
PDF, 1.49 MB
english, 2019