Derivation of Parallel and Resilient Programs from Simulink Models

Search results

• Finished

  ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

  Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.

  01/09/13 → 31/08/17

  Project: Academy of Finland/Other Research Councils

• 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

• 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