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

Projekt

Projekt per år 2009 2009 2014

• 1 Slutfört

Projekt per år

Sökresultat

• 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