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

Pontus Boström
, Jonatan Wiik

Research output: Contribution to journal › Article › Scientific › peer-review

16 Citations (Scopus)

1 Finished

1 results

Finished

DiHy: Digital Microhydraulics (TEKES programme EFFIMA)
Walden, M. (Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Alexeev, P. S. (Co-Investigator), Ostroumov, S. (Co-Investigator) & Wiik, J. (Co-Investigator)
01/06/09 → 30/09/14
Project: Industry/Business Finland