Beitrag in einem Tagungsband
Formal model for generating railway interlocking software based on a modularized track model
Details zur Publikation
Autor(inn)en: | Töpel, D.; Börcsök, J. |
Herausgeber: | Mastorakis, Nikos E. |
Verlag: | WSEAS Press |
Verlagsort / Veröffentlichungsort: | Greece |
Publikationsjahr: | 2015 |
Seitenbereich: | 66-73 |
Buchtitel: | Mathematical methods and systems in science and engineering |
Titel der Buchreihe: | Mathematics and computers in science and engineering series |
ISBN: | 978-1-61804-281-1 |
