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

Pontus Boström, Jonatan Wiik

    Research output: Contribution to journalArticleScientificpeer-review

    10 Citations (Scopus)

    Search results