Dynamics of Railway Nets: On an Interface between Automatic Control and Software Engineering

Dines Bjørner

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

    Original languageEnglish
    Title of host publicationCTS2003: 10th IFAC Symposium on Control in Transportation Systems, August, Seikei University
    PublisherElsevier
    Publication date2003
    Publication statusPublished - 2003

    Cite this