Generation of Executable Railway Control Components from Domain-Specific Descriptions

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems , FORMS'2003
Publisher	L'Harmattan Hongrie
Publication date	2003
ISBN (Print)	96-39-45745-0
Publication status	Published - 2003

Access to Document

@inproceedings{a281c0c731084a8f8ee4dc2cd8c18ae4,

title = "Generation of Executable Railway Control Components from Domain-Specific Descriptions",

author = "Haxthausen, {Anne Elisabeth} and J. Peleska",

year = "2003",

language = "English",

isbn = "96-39-45745-0",

booktitle = "Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems , FORMS'2003",

publisher = "L'Harmattan Hongrie",

}

Generation of Executable Railway Control Components from Domain-Specific Descriptions. / Haxthausen, Anne Elisabeth; Peleska, J.
Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems , FORMS'2003. L'Harmattan Hongrie, 2003.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review