- Tytuł:
- Functional safety verification of train control procedure in train-centric CBTC by colored Petri net
- Autorzy:
-
Lin, Junting
Xu, Qian - Data publikacji:
- 2020
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
train control procedure
Train-centric CBTC
functional safety
formal methods
colored Petri net
procedura kontroli pociągu
sterowanie pociągiem
bezpieczeństwo funkcjonalne
metody formalne
sieci Petriego - Dostawca treści:
- Biblioteka Nauki
Artykuł