- Tytuł:
- Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
- Autorzy:
-
Mirabadi, A.
Yazdi, M. - Data publikacji:
- 2009
- Słowa kluczowe:
-
ruch kolejowy
infrastruktura kolejowa
metoda automatów skończonych
railway traffic
railway infrastructure - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł