Projekt per år
Originalspråk | Odefinierat/okänt |
---|---|
Titel på värdpublikation | Formal Methods for Industrial Critical Systems |
Redaktörer | Frédéric Lang, Francesco Flammini |
Förlag | Lecture notes for computer science |
Sidor | 33–47 |
ISBN (elektroniskt) | 978-3-319-10702-8 |
ISBN (tryckt) | 978-3-319-10701-1 |
DOI | |
Status | Publicerad - 2014 |
MoE-publikationstyp | A4 Artikel i en konferenspublikation |
Evenemang | conference; 2014-09-11; 2014-09-12 - Ghent, Belgium Varaktighet: 11 sep. 2014 → 12 sep. 2014 |
Konferens
Konferens | conference; 2014-09-11; 2014-09-12 |
---|---|
Period | 11/09/14 → 12/09/14 |
Projekt
- 1 Slutfört
-
Digihybrid: Regenerative hydraulic hybrid with digi-valve and multi-chamber cylinder tehnology (TEKES-programme EFFIMA)
Walden, M. (Ansvarig forskare), Sere, K. (Ansvarig forskare), Boström, P. (CoI), Alexeev, P. S. (CoI), Ostroumov, S. (CoI), Wiik, J. (CoI), Olszewska, M. (CoI) & Dahlvik, M. (CoI)
01/05/11 → 30/09/14
Projekt: Företag/Business Finland