Formal Software Techniques in Railway Systems

Dines Bjørner

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

    Original languageEnglish
    Title of host publicationProc. 9th IFAC Symposium on Control in Transportation Systems
    Place of PublicationBraunschweig, Germany
    Publication date2000
    Pages1-12
    Publication statusPublished - 2000
    EventProc. 9th IFAC Symposium on Control in Transportation Systems - Braunschweig, Germany,
    Duration: 1 Jan 2000 → …

    Conference

    ConferenceProc. 9th IFAC Symposium on Control in Transportation Systems
    CityBraunschweig, Germany,
    Period01/01/2000 → …

    Cite this