Generation of Executable Railway Control Components from Domain-Specific Descriptions |
A. E. Haxthausen, J. Peleska
|
| Type | Conference paper [With referee] |
| Conference | Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS'2003) |
| Year | 2003 pp. 83 - 90 |
| Publisher | L'Harmattan Hongrie |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |