Contract-Based Verification of Simulink Models

Pontus Boström

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    20 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationFormal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
    RedaktörerShengchao Qin, Zongyan Qiu
    FörlagSpringer
    Sidor291–306
    ISBN (elektroniskt)978-3-642-24559-6
    ISBN (tryckt)978-3-642-24558-9
    DOI
    StatusPublicerad - 2011
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Conference on Formal Engineering Methods, ICFEM - 13th International Conference on Formal Engineering Methods, ICFEM 2011
    Varaktighet: 26 okt 201128 okt 2011

    Konferens

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

    Citera det här