Development of Controllers Using Simulink and Contract-Based Design

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

    Forskningsoutput: Kapitel i bok/konferenshandlingKapitelVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationDependability and Computer Engineering: Concepts for Software-Intensive Systems
    RedaktörerL Petre, K Sere, E Troubitsyna
    FörlagInformation science reference IGI
    Sidor151–169
    ISBN (elektroniskt)9781609607487
    ISBN (tryckt)9781609607470
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Citera det här