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

A. E. Haxthausen, J. Peleska

TypeConference paper [With referee]
ConferenceProceedings of the 10th IFAC Symposium on Control in Transportation Systems
Year2003
PublisherElsevier Science Ltd, Oxford
ISBN / ISSNISBN 0-08-044059-2
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering