Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking
Bertrand, Nathalie, Bordais, Benjamin, Hélouët, Loïc, Mari, Thomas, Parreaux, Julie, Sankur, Ocan
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019)
Published in Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2019)
Get full text
Book Chapter