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


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
Publication statusPublished - 2009
Publication typeA4 Article in a conference publication

Publication forum classification