- Tytuł:
-
Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
Computer-aided specification and verification of formal description for interlocking functions - Autorzy:
-
Kawalec, P.
Koliński, D. - Data publikacji:
- 2014
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Mechaników Polskich
- Tematy:
-
sterowanie ruchem kolejowym
zależności
funkcje zależnościowe
railway traffic control
interlocking
interlocking functions - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł