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

Jonatan Wiik, Pontus Boström

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

1 results

Industry/Business Finland

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