• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Contract-based Design in Controller Development and its Evaluation

Pontus Boström, Marta Plaska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén, Contract-based Design in Controller Development and its Evaluation. In: Mikael Asplund, Simin Nadjm-Tehrani, Luigia Petre (Eds.), NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009, 41, 21-27, Linköping University Electronic Press, Linköpings universitet, 2009.

BibTeX entry:

@INPROCEEDINGS{inpBoPlHuLiHeSeWa09a,
  title = {Contract-based Design in Controller Development and its Evaluation},
  booktitle = {NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009},
  author = {Boström, Pontus and Plaska, Marta and Huova, Mikko and Linjama, Matti and Heikkilä, Mikko and Sere, Kaisa and Waldén, Marina},
  volume = {41},
  editor = {Asplund, Mikael and Nadjm-Tehrani, Simin and Petre, Luigia},
  publisher = {Linköping University Electronic Press, Linköpings universitet},
  pages = {21-27},
  year = {2009},
  keywords = {Contract-based design, digital hydraulics, quality evaluation, product and process measurements, complexity metric},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication