Towards Domain-Specific Formal Specification Languages for Railway Control Systems

Jan Peleska, A. Baer, Anne Elisabeth Haxthausen, E. Schnieder (Editor), U. Becker (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publication9th IFAC Symposium on Control in Transportation Systems
    PublisherTechnical University Braunschweig, Germany
    Publication date2000
    Pages147-152
    Publication statusPublished - 2000
    Event9th IFAC Symposium on Control in Transportation Systems -
    Duration: 1 Jan 2000 → …

    Conference

    Conference9th IFAC Symposium on Control in Transportation Systems
    Period01/01/2000 → …

    Cite this

    Peleska, J., Baer, A., Haxthausen, A. E., Schnieder, E. (Ed.), & Becker, U. (Ed.) (2000). Towards Domain-Specific Formal Specification Languages for Railway Control Systems. In 9th IFAC Symposium on Control in Transportation Systems (pp. 147-152). Technical University Braunschweig, Germany.