Contract-Based Verification of Simulink Models

Pontus Boström

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    20 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationFormal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
    EditorsShengchao Qin, Zongyan Qiu
    PublisherSpringer
    Pages291–306
    ISBN (Electronic)978-3-642-24559-6
    ISBN (Print)978-3-642-24558-9
    DOIs
    Publication statusPublished - 2011
    MoE publication typeA4 Article in a conference publication
    EventInternational Conference on Formal Engineering Methods, ICFEM - 13th International Conference on Formal Engineering Methods, ICFEM 2011
    Duration: 26 Oct 201128 Oct 2011

    Conference

    ConferenceInternational Conference on Formal Engineering Methods, ICFEM
    Period26/10/1128/10/11

    Cite this