New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems.

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

    Original languageEnglish
    Title of host publicationFORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems
    PublisherL'Harmattan Hongrie
    Publication date2003
    Publication statusPublished - 2003

    Cite this

    Bjørner, D. (2003). New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems. In FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems L'Harmattan Hongrie.
    Bjørner, Dines. / New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems. FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. L'Harmattan Hongrie, 2003.
    @inproceedings{cd60084928f94e5bb7c44d32dbf873bc,
    title = "New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems.",
    author = "Dines Bj{\o}rner",
    year = "2003",
    language = "English",
    booktitle = "FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems",
    publisher = "L'Harmattan Hongrie",

    }

    Bjørner, D 2003, New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems. in FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. L'Harmattan Hongrie.

    New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems. / Bjørner, Dines.

    FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. L'Harmattan Hongrie, 2003.

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

    TY - GEN

    T1 - New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems.

    AU - Bjørner, Dines

    PY - 2003

    Y1 - 2003

    M3 - Article in proceedings

    BT - FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems

    PB - L'Harmattan Hongrie

    ER -

    Bjørner D. New Results and Trends in Formal Techniques for the Development of Software for Transportation Systems. In FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. L'Harmattan Hongrie. 2003