Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specifications to Distributed Hybrid Real-Time Systems

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

    Original languageEnglish
    Title of host publicationForms '99 Formale Techniken für die Eisenbahnsicherung
    PublisherVDI-Verlag
    Publication date2000
    Pages263-271
    Publication statusPublished - 2000
    EventForms '99 Formale Techniken für die Eisenbahnsicherung -
    Duration: 1 Jan 2000 → …

    Conference

    ConferenceForms '99 Formale Techniken für die Eisenbahnsicherung
    Period01/01/2000 → …

    Cite this