- Tytuł:
-
Metodyka budowy komputerowych systemów srk
Methodology of construction of computer systems for atc - Autorzy:
-
Maciejewski, M.
Zabłocki, W. - Data publikacji:
- 2011
- Wydawca:
- Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
- 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 - Źródło:
-
Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2011, 96, z. 158; 289-305
1231-9171 - Język:
- polski
- Prawa:
- Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
- Dostawca treści:
- Biblioteka Nauki
- Artykuł