- Tytuł:
- Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
- Autorzy:
-
Kawalec, P.
Koliński, D. - Data publikacji:
- 2014
- Słowa kluczowe:
-
sterowanie ruchem kolejowym
zależności
funkcje zależnościowe
railway traffic control
interlocking
interlocking functions - Pokaż więcej
- Dostawca treści:
- BazTech