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

    Sökresultat