Contract-based verification of discrete-time multi-rate Simulink models

Pontus Boström, Jonatan Wiik

    Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

    13 Sitaatiot (Scopus)
    Suodatin
    Päättynyt

    Hakutulokset