Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking
Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)
01.01.2019
20 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DOAJ | 2018
|