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

Pontus Boström, Jerker Björkqvist

    Research output: Book/ReportCommissioned reportProfessional

    Original languageUndefined/Unknown
    PublisherTurku Centre for Computer Science (TUCS)
    Number of pages21
    ISBN (Print)952-12-1607-7
    Publication statusPublished - 2005
    MoE publication typeD4 Published development or research report or study

    Cite this