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

Pontus Boström, Jerker Björkqvist

    Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

    Sökresultat