- Tytuł:
- Innowacyjna metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym
- Autorzy:
-
Kawalec, P.
Koliński, D. - Data publikacji:
- 2013
- Słowa kluczowe:
-
sterowanie ruchem kolejowym
system zależnościowy
formalizacja opisu
railway traffic control
dependence system
formal description - Pokaż więcej
- Dostawca treści:
- BazTech