- Tytuł:
- Quantitative safety analysis of train control system based on statistical model checking
- Autorzy:
-
Lin, Junting
Min, Xiaoqin - Data publikacji:
- 2022
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
train control systems
statistical model checking
safety analysis
hybrid automata
UPPAAL-SMC
system sterowania pociągiem
analiza bezpieczeństwa
automaty hybrydowe - Dostawca treści:
- Biblioteka Nauki
Artykuł