Computing Systems for Railways - A Role for Domain Engineering. Relations to Requirements Engineering and Software for Control Applications}

Dines Bjørner, Chris W. George, Søren Prehn

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

    Original languageEnglish
    Title of host publicationIntegrated Design and Process Technology : Editors: Bernd Kraemer and John C. Petterson
    PublisherSociety for Design and Process Science
    Publication date2002
    Publication statusPublished - 2002

    Cite this