Contract-Based Verification of Simulink Models

Pontus Boström

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    20 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoFormal Methods and Software Engineering, 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
    ToimittajatShengchao Qin, Zongyan Qiu
    KustantajaSpringer
    Sivut291–306
    ISBN (elektroninen)978-3-642-24559-6
    ISBN (painettu)978-3-642-24558-9
    DOI - pysyväislinkit
    TilaJulkaistu - 2011
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Conference on Formal Engineering Methods, ICFEM - 13th International Conference on Formal Engineering Methods, ICFEM 2011
    Kesto: 26 lokakuuta 201128 lokakuuta 2011

    Konferenssi

    KonferenssiInternational Conference on Formal Engineering Methods, ICFEM
    Ajanjakso26/10/1128/10/11

    Viittausmuodot