- Tytuł:
- Metodyka budowy komputerowych systemów srk
- Autorzy:
-
Maciejewski, M.
Zabłocki, W. - Data publikacji:
- 2011
- Słowa kluczowe:
-
ruch kolejowy
system
metoda
sterowanie
projektowanie
modelowanie
automat
specyfikacja systemu
opis formalny
cykl V
droga przebiegu
rail traffic
method
control
project
modeling
machine (automat)
specification for the system
formal description
cycle V
route of the Road - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł