- 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 - Źródło:
-
Archives of Transport; 2022, 61, 1; 7--19
0866-9546
2300-8830 - Język:
- angielski
- Prawa:
- CC BY: Creative Commons Uznanie autorstwa 4.0
- Dostawca treści:
- Biblioteka Nauki
- Artykuł