Projects per year
Original language | Undefined/Unknown |
---|---|
Title of host publication | Formal Methods and Software Engineering |
Editors | Stephan Merz, Jun Pang |
Publisher | Springer |
Pages | 396–412 |
ISBN (Electronic) | 978-3-319-11737-9 |
ISBN (Print) | 978-3-319-11736-2 |
DOIs | |
Publication status | Published - 2014 |
MoE publication type | A4 Article in a conference publication |
Event | conference; 2014-11-03; 2014-11-05 - Luxembourg, Luxembourg Duration: 3 Nov 2014 → 5 Nov 2014 |
Conference
Conference | conference; 2014-11-03; 2014-11-05 |
---|---|
Period | 03/11/14 → 05/11/14 |
Projects
- 1 Finished
-
Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. (Principal Investigator), Sere, K. (Principal Investigator), Boström, P. (Co-Investigator), Alexeev, P. S. (Co-Investigator), Ostroumov, S. (Co-Investigator), Wiik, J. (Co-Investigator), Olszewska, M. (Co-Investigator) & Dahlvik, M. (Co-Investigator)
01/05/11 → 30/09/14
Project: Industry/Business Finland