- Tytuł:
-
Wybrane zagadnienia formalizacji systemów srk
Question contradictions and special exclusions in technology railway traffic control - Autorzy:
- Zabłocki, W.
- Data publikacji:
- 2015
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
- Tematy:
-
ruch kolejowy
systemy sterowania
komputer zależnościowy
droga przebiegu
sprzeczność dróg przebiegu
opis formalny
railway traffic
control systems
interlocking computer
route (drive path, overlap path and protective object) - Dostawca treści:
- Biblioteka Nauki
Artykuł