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

Details

Translated title of the contributionContract-based design in controller development and its evaluation
Original languageEnglish
Title of host publicationNodes 09: Nordic workshop and doctoral symposium on Dependability and security, Linköping, Sweden, April 27, 2009
EditorsM. Asplund, S. Nadjm-Tehrani, L. Petre
Pages21-27
Publication statusPublished - 2009
Publication typeA4 Article in a conference publication

Publication forum classification