Contract-based Design in Controller Development and its Evaluation

Pontus Boström, Marta Olszewska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Walden

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    Original languageUndefined/Unknown
    Title of host publicationNODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
    EditorsMikael Asplund, Simin Nadjm-Tehrani, Luigia Petre
    PublisherLinköping university electronic press
    Pages21–28
    Publication statusPublished - 2009
    MoE publication typeA4 Article in a conference publication
    Eventconference; 2009-04-27 - NOrdic workshop and doctoral symposium on DEpendability and Security, NODES 09
    Duration: 27 Apr 2009 → …

    Conference

    Conferenceconference; 2009-04-27
    Period27/04/09 → …

    Cite this