Automatic Verification,  Validation and Test for Railway Control Systems based on  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 10th IFAC Symposium on Control in Transportation Systems
Publisher	Elsevier
Publication date	2003
ISBN (Print)	00-80-44059-2
Publication status	Published - 2003

Access to Document

@inproceedings{4a6406b3038f417885ac5bc8bf267762,

title = "Automatic Verification, Validation and Test for Railway Control Systems based on Domain-Specific Descriptions",

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

year = "2003",

language = "English",

isbn = "00-80-44059-2",

booktitle = "Proceedings of the 10th IFAC Symposium on Control in Transportation Systems",

publisher = "Elsevier",

address = "United Kingdom",

}