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
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DOAJ | 2018
|The 21st century metro - Model guides metro expansion
Online Contents | 2001