Development of Controllers Using Simulink and Contract-Based Design. Chapter 8

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

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

    Translated title of the contributionDevelopment of Controllers Using Simulink and Contract-Based Design. Chapter 8
    Original languageEnglish
    Title of host publicationDependability and Computer Engineering: Concepts for Software-Intensive Systems
    EditorsLuigia Petre, Kaisa Sere, Elena Troubitsyna
    Place of PublicationHershey, PA
    PublisherIGI Global
    Pages151-169
    ISBN (Print)978-1-60960-747-0
    DOIs
    Publication statusPublished - 2011
    Publication typeA3 Book chapter

    Publication forum classification

    • Publication forum level 1

    Cite this