Contract-based Design in Controller Development and its Evaluation

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

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på värdpublikationNODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
    RedaktörerMikael Asplund, Simin Nadjm-Tehrani, Luigia Petre
    FörlagLinköping university electronic press
    Sidor21–28
    StatusPublicerad - 2009
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2009-04-27 - NOrdic workshop and doctoral symposium on DEpendability and Security, NODES 09
    Varaktighet: 27 apr. 2009 → …

    Konferens

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

    Citera det här