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

Pontus Boström, Jonatan Wiik

    Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

    9 Sitaatiot (Scopus)

    Hakutulokset