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

Pontus Boström, Jonatan Wiik

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

    10 Citeringar (Scopus)

    Sökresultat