- Tytuł:
-
Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
Automatyczna generacja i sprawdzanie tablic zależności dla systemu sterowania ruchem kolejowym z wykorzystaniem metody automatów skończonych i formalnych technik weryfikacji - Autorzy:
-
Mirabadi, A.
Yazdi, M. - Data publikacji:
- 2009
- Wydawca:
- Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
- Tematy:
-
ruch kolejowy
infrastruktura kolejowa
metoda automatów skończonych
railway traffic
railway infrastructure - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki