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

Jonatan Wiik, Pontus Boström

    Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

    4 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    FörlagTurku Centre for Computer Science (TUCS)
    ISBN (tryckt)978-952-12-3053-0
    StatusPublicerad - 2014
    MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie

    Citera det här