Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking
Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)
2019-01-01
20 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DOAJ | 2018
|Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking
Springer Verlag | 2024
|