Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne > 2011 > Nr 96, z. 158 > 289--305
Source
Abstract
Identifiers
journal ISSN : | 1231-9171 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Cheng A., M., K.: Real-Time Systems. Scheduling, Analysis and Verification. Wiley-Interscience, New Jersey 2002.
-
[2] Chevillat C., Carrington D., Strooper P., J. Sueß G., and Wildman L.: Model-Based Generation of Interlocking Controller Software from Control Tables, Lecture Notes in Computer Science. SpringerLink 2008, Vol. 5095/2008, 349-360.
-
[3] Grochowski K., Sitek I., Maciejewski M., Jasiński S.: Budowa urządzeń kierowania i sterowania ruchem ILTOR-2 i WTUZ. Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji RP w Krakowie, Materiały Konferencyjne, nr 91 (Zeszyt 149), Kraków 2009.