Optimisation-based black-box testing of assertions in Simulink models

Pontus Boström, Jerker Björkqvist

    Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

    AlkuperäiskieliEi tiedossa
    KustantajaTurku Centre for Computer Science (TUCS)
    Sivumäärä21
    ISBN (painettu)952-12-1607-7
    TilaJulkaistu - 2005
    OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

    Viittausmuodot