- Tytuł:
-
Metodyka budowy komputerowych systemów srk
Methodology of construction of computer systems for atc - Autorzy:
-
Maciejewski, M.
Zabłocki, W. - Tematy:
-
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
- Data publikacji:
- 2011
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
- Dostawca treści:
- Biblioteka Nauki
Artykuł