Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

Hakutulokset

• Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)

  Walden, M., Sere, K., Boström, P., Alexeev, P. S., Ostroumov, S., Wiik, J., Olszewska, M. & Dahlvik, M.

  01/05/11 → 30/09/14

  Projekti: Industry/Business Finland