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

Jonatan Wiik, Pontus Boström

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationFormal Methods and Software Engineering
    RedaktörerStephan Merz, Jun Pang
    FörlagSpringer
    Sidor396–412
    ISBN (elektroniskt)978-3-319-11737-9
    ISBN (tryckt)978-3-319-11736-2
    DOI
    StatusPublicerad - 2014
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 2014-11-03; 2014-11-05 - Luxembourg, Luxembourg
    Varaktighet: 3 nov 20145 nov 2014

    Konferens

    Konferensconference; 2014-11-03; 2014-11-05
    Period03/11/1405/11/14

    Citera det här