Formal Software Techniques in Railway Systems

    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
    Event9th IFAC Symposium on Control in Transportation Systems 2000 - Braunschweig, Germany
    Duration: 13 Jun 200015 Jun 2000
    Conference number: 9
    https://www.sciencedirect.com/journal/ifac-proceedings-volumes/vol/33/issue/9

    Conference

    Conference9th IFAC Symposium on Control in Transportation Systems 2000
    Number9
    Country/TerritoryGermany
    CityBraunschweig
    Period13/06/200015/06/2000
    Internet address

    Cite this