Stepwise development of Simulink models using the refinement calculus framework

Sökresultat

• Slutfört

  ITCEE: Improving Transient Control and Energy Efficiency by digital hydraulics (TEKES, KITARA-programme)

  Walden, M., Sere, K., Boström, P., Morel, L., Satpathy, M., Olszewska, M., Meincke, L. & Malik, Q.

  01/08/05 → 31/07/08

  Projekt: Företag/Business Finland