Contract-based Design in Controller Development and its Evaluation

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Pontus Boström, Marta Pląska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Redaktörer: Mikael Asplund, Simin Nadjm-Tehrani, and Luigia Petre
Förläggare: Linköping University Electronic Press, Linköpings universitet
Förlagsort: Linköping
Publiceringsår: 2009
Förläggare: Linköping university electronic press
Moderpublikationens namn: NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
Volym: 41
Artikelns första sida, sidnummer: 21
Artikelns sista sida, sidnummer: 28
ISSN: 1650-3686
eISSN: 1650-3740

Senast uppdaterad 2019-21-10 vid 04:12