A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems

Anne Elisabeth Haxthausen (Invited author), Jan Peleska (Invited author)

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

    Original languageEnglish
    Title of host publicationFormal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays
    EditorsCliff B. Jones, Zhiming Liu, Jim Woodcock
    PublisherSpringer
    Publication date2007
    Pages320-348
    ISBN (Print)978-3-540-75220-2
    Publication statusPublished - 2007
    EventFestschrift Symposium dedicated to the 70th birthdays of Dines Bjørner and Zhou Chaochen - Macau
    Duration: 1 Jan 2007 → …

    Conference

    ConferenceFestschrift Symposium dedicated to the 70th birthdays of Dines Bjørner and Zhou Chaochen
    CityMacau
    Period01/01/2007 → …
    SeriesLecture Notes in Computer Science
    Number4700

    Keywords

    • domain engineering
    • formal methods
    • verification
    • domain-specific languages
    • railway control systems
    • code generation

    Cite this