- Tytuł:
- Synteza funkcji należnościowych stacyjnego systemu srk
- Autorzy:
- Zabłocki, W.
- Data publikacji:
- 2009
- Słowa kluczowe:
-
transport
ruch kolejowy
system
sterowanie
modelowanie
opis formalny
droga przebiegu
przebieg
sprzeczność
relacje i funkcje zależnościowe
rail traffic
control
modelling
formal specification
rout
routing process
contradiction
interlocking relations and functions - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł