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

Projects

Projects per year 2009 2009 2014

• 1 Finished

Projects per year

Search results

• 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