Contract-based Design in Controller Development and its Evaluation

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

Contract-based Design in Controller Development and its Evaluation

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

Computer Science

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
Editors	Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre
Publisher	Linköping university electronic press
Pages	21–28
Publication status	Published - 2009
MoE publication type	A4 Article in a conference publication
Event	conference; 2009-04-27 - NOrdic workshop and doctoral symposium on DEpendability and Security, NODES 09 Duration: 27 Apr 2009 → …

Conference

Conference	conference; 2009-04-27
Period	27/04/09 → …

Cite this

Boström, P., Olszewska, M., Huova, M., Linjama, M., Heikkilä, M., Sere, K., & Walden, M. (2009). Contract-based Design in Controller Development and its Evaluation. In M. Asplund, S. Nadjm-Tehrani, & L. Petre (Eds.), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009 (pp. 21–28). Linköping university electronic press.

Boström, Pontus ; Olszewska, Marta ; Huova, Mikko ; Linjama, Matti ; Heikkilä, Mikko ; Sere, Kaisa ; Walden, Marina. / Contract-based Design in Controller Development and its Evaluation. NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. editor / Mikael Asplund ; Simin Nadjm-Tehrani ; Luigia Petre. Linköping university electronic press, 2009. pp. 21–28

@inproceedings{2bbc6b31fbe94ccf81e145a039bd7fd0,

title = "Contract-based Design in Controller Development and its Evaluation",

author = "Pontus Bostr{\"o}m and Marta Olszewska and Mikko Huova and Matti Linjama and Mikko Heikkil{\"a} and Kaisa Sere and Marina Walden",

year = "2009",

language = "Odefinierat/ok{\"a}nt",

pages = "21–28",

editor = "Mikael Asplund and Simin Nadjm-Tehrani and Luigia Petre",

booktitle = "NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Link{\"o}ping, Sweden, April 27, 2009",

publisher = "Link{\"o}ping university electronic press",

note = "null ; Conference date: 27-04-2009",

}

Boström, P, Olszewska, M, Huova, M, Linjama, M, Heikkilä, M, Sere, K & Walden, M 2009, Contract-based Design in Controller Development and its Evaluation. in M Asplund, S Nadjm-Tehrani & L Petre (eds), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. Linköping university electronic press, pp. 21–28, conference; 2009-04-27, 27/04/09.

Contract-based Design in Controller Development and its Evaluation. / Boström, Pontus; Olszewska, Marta; Huova, Mikko; Linjama, Matti; Heikkilä, Mikko; Sere, Kaisa; Walden, Marina.

NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009. ed. / Mikael Asplund; Simin Nadjm-Tehrani; Luigia Petre. Linköping university electronic press, 2009. p. 21–28.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Contract-based Design in Controller Development and its Evaluation

AU - Boström, Pontus

AU - Olszewska, Marta

AU - Huova, Mikko

AU - Linjama, Matti

AU - Heikkilä, Mikko

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2009

Y1 - 2009

M3 - Konferensbidrag

SP - 21

EP - 28

BT - NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009

A2 - Asplund, Mikael

A2 - Nadjm-Tehrani, Simin

A2 - Petre, Luigia

PB - Linköping university electronic press

Y2 - 27 April 2009

ER -