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

Pontus Boström, Jonatan Wiik

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

14 Citeringar (Scopus)

1 Slutfört

1 resultat

Filter

Företag/Business Finland

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S. & Wiik, J.
01/06/09 → 30/09/14
Projekt: Företag/Business Finland