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