Conference proceedings article
Formal model for generating railway interlocking software based on a modularized track model
Publication Details
Authors: | Töpel, D.; Börcsök, J. |
Editor: | Mastorakis, Nikos E. |
Publisher: | WSEAS Press |
Place: | Greece |
Publication year: | 2015 |
Pages range : | 66-73 |
Book title: | Mathematical methods and systems in science and engineering |
Title of series: | Mathematics and computers in science and engineering series |
ISBN: | 978-1-61804-281-1 |
