- Tytuł:
- Wybrane zagadnienia formalizacji systemów srk
- Autorzy:
- Zabłocki, W.
- Data publikacji:
- 2015
- Słowa kluczowe:
-
ruch kolejowy
systemy sterowania
komputer zależnościowy
droga przebiegu
sprzeczność dróg przebiegu
opis formalny
railway traffic
control systems
interlocking computer
drive path
overlap path
protective object - Pokaż więcej
- Dostawca treści:
- BazTech