Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

Jonatan Wiik, Pontus Boström

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    AlkuperäiskieliEi tiedossa
    OtsikkoFormal Methods and Software Engineering
    ToimittajatStephan Merz, Jun Pang
    KustantajaSpringer
    Sivut396–412
    ISBN (elektroninen)978-3-319-11737-9
    ISBN (painettu)978-3-319-11736-2
    DOI - pysyväislinkit
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 2014-11-03; 2014-11-05 - Luxembourg, Luxembourg
    Kesto: 3 marraskuuta 20145 marraskuuta 2014

    Konferenssi

    Konferenssiconference; 2014-11-03; 2014-11-05
    Ajanjakso03/11/1405/11/14

    Viittausmuodot