An Approach to Contract-Based Verification of Simulink Models

Pontus Boström, Richard Grönblom, Tatu Huotari, Jonatan Wiik

Research output: Book/Journal/Report › Commissioned report › Professional

1 results

Filter

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
Project: Industry/Business Finland