Contract-Based Verification of Simulink Models

Sökresultat

• Slutfört

  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