Projects per year
Original language | Undefined/Unknown |
---|---|
Title of host publication | Formal Methods for Industrial Critical Systems |
Editors | Frédéric Lang, Francesco Flammini |
Publisher | Lecture notes for computer science |
Pages | 33–47 |
ISBN (Electronic) | 978-3-319-10702-8 |
ISBN (Print) | 978-3-319-10701-1 |
DOIs | |
Publication status | Published - 2014 |
MoE publication type | A4 Article in a conference publication |
Event | conference; 2014-09-11; 2014-09-12 - Ghent, Belgium Duration: 11 Sept 2014 → 12 Sept 2014 |
Conference
Conference | conference; 2014-09-11; 2014-09-12 |
---|---|
Period | 11/09/14 → 12/09/14 |
Projects
- 1 Finished
-
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