Development of Controllers Using Simulink and Contract-Based Design

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

Research output: Chapter in Book/Conference proceedingChapterScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationDependability and Computer Engineering: Concepts for Software-Intensive Systems
EditorsL Petre, K Sere, E Troubitsyna
PublisherInformation science reference IGI
Pages151–169
ISBN (Electronic)9781609607487
ISBN (Print)9781609607470
DOIs
Publication statusPublished - 2011
MoE publication typeA3 Part of a book or another research book

Cite this