Contract-based Design in Controller Development and its Evaluation

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

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoNODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
    ToimittajatMikael Asplund, Simin Nadjm-Tehrani, Luigia Petre
    KustantajaLinköping university electronic press
    Sivut21–28
    TilaJulkaistu - 2009
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2009-04-27 - NOrdic workshop and doctoral symposium on DEpendability and Security, NODES 09
    Kesto: 27 huhtikuuta 2009 → …

    Konferenssi

    Konferenssiconference; 2009-04-27
    Ajanjakso27/04/09 → …

    Viittausmuodot