Contract-based Design in Controller Development and its Evaluation

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Pontus Boström, Marta Pląska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Editors: Mikael Asplund, Simin Nadjm-Tehrani, and Luigia Petre
Publisher: Linköping University Electronic Press, Linköpings universitet
Place: Linköping
Publication year: 2009
Publisher: Linköping university electronic press
Book title: NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
Volume number: 41
Start page: 21
End page: 28
ISSN: 1650-3686
eISSN: 1650-3740

Last updated on 2019-20-10 at 04:11

Share link