Skip to main navigation Skip to search Skip to main content

From Domain Model to Domain-specific Language for Railway Control Systems

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

    Original languageEnglish
    Title of host publicationProceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)), Braunschweig
    Publication date2004
    Publication statusPublished - 2004

    Cite this