Tampere University of Technology

TUTCRIS Research Portal

Contract-based design in controller development and its evaluation

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

Standard

Contract-based design in controller development and its evaluation. / Boström, P.; Plaska, M.; Huova, M.; Linjama, M.; Heikkilä, M.; Sere, K.; Walden, M.

Nodes 09: Nordic workshop and doctoral symposium on Dependability and security, Linköping, Sweden, April 27, 2009. ed. / M. Asplund; S. Nadjm-Tehrani; L. Petre. 2009. p. 21-27.

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

Harvard

Boström, P, Plaska, 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-27.

APA

Boström, P., Plaska, 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-27)

Vancouver

Boström P, Plaska M, Huova M, Linjama M, Heikkilä M, Sere K et al. Contract-based design in controller development and its evaluation. In Asplund M, Nadjm-Tehrani S, Petre L, editors, Nodes 09: Nordic workshop and doctoral symposium on Dependability and security, Linköping, Sweden, April 27, 2009. 2009. p. 21-27

Author

Boström, P. ; Plaska, M. ; Huova, M. ; Linjama, M. ; Heikkilä, M. ; Sere, K. ; Walden, M. / 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 / M. Asplund ; S. Nadjm-Tehrani ; L. Petre. 2009. pp. 21-27

Bibtex - Download

@inproceedings{925481da76414d97a0886a513c892258,
title = "Contract-based design in controller development and its evaluation",
author = "P. Bostr{\"o}m and M. Plaska and M. Huova and M. Linjama and M. Heikkil{\"a} and K. Sere and M. Walden",
note = "My{\"o}s online ISSN: 1650-3740<br/>Contribution: organisation=iha,FACT1=1",
year = "2009",
language = "English",
pages = "21--27",
editor = "M. Asplund and S. Nadjm-Tehrani and L. Petre",
booktitle = "Nodes 09: Nordic workshop and doctoral symposium on Dependability and security, Link{\"o}ping, Sweden, April 27, 2009",

}

RIS (suitable for import to EndNote) - Download

TY - GEN

T1 - Contract-based design in controller development and its evaluation

AU - Boström, P.

AU - Plaska, M.

AU - Huova, M.

AU - Linjama, M.

AU - Heikkilä, M.

AU - Sere, K.

AU - Walden, M.

N1 - Myös online ISSN: 1650-3740<br/>Contribution: organisation=iha,FACT1=1

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 21

EP - 27

BT - Nodes 09: Nordic workshop and doctoral symposium on Dependability and security, Linköping, Sweden, April 27, 2009

A2 - Asplund, M.

A2 - Nadjm-Tehrani, S.

A2 - Petre, L.

ER -