Contract-based Design in Controller Development and its Evaluation

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

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationNODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
EditorsMikael Asplund, Simin Nadjm-Tehrani, Luigia Petre
PublisherLinköping university electronic press
Pages21–28
Publication statusPublished - 2009
MoE publication typeA4 Article in a conference publication
Eventconference; 2009-04-27 - NOrdic workshop and doctoral symposium on DEpendability and Security, NODES 09
Duration: 27 Apr 2009 → …

Conference

Conferenceconference; 2009-04-27
Period27/04/09 → …

Cite this