Projekt per år
Projekt
- 5 Slutfört
Sökresultat
-
Slutfört
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Ansvarig forskare), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)
01/09/13 → 31/08/17
Projekt: Finlands Akademi/Övriga Forskningsråd
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L. (Ansvarig forskare), Walden, M. (CoI), Kamali, M. (CoI), Kamali, M. (CoI), Neovius, M. (CoI) & Sandvik, P. (CoI)
01/01/13 → 31/12/15
Projekt: Finlands Akademi/Övriga Forskningsråd
-
DEPLOY: Industrial deployment of system engineering methods providing high dependability and productivity
Troubitsyna, E. (Ansvarig forskare), Walden, M. (Ansvarig forskare), Petre, L. (Ansvarig forskare), Boström, P. (Ansvarig forskare), Neovius, M. (Ansvarig forskare), Olszewska, M. (Ansvarig forskare) & Sere, K. (Ansvarig forskare)
01/01/08 → 31/12/12
Projekt: EU
-
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M. (CoPI), Sere, K. (Ansvarig forskare), Troubitsyna, E. (CoPI), Petre, L. (CoI), Boström, P. (CoI), Tsiopoulos, L. (CoI), Jansson, M. (CoI) & Engblom, N. (CoI)
01/05/00 → 28/02/03
Projekt: EU
-
DESIRE: Design of Reliable Embedded Systems (Academy of Finland)
Walden, M. (CoI), Sere, K. (Ansvarig forskare), Troubitsyna, E. (CoI), Petre, L. (CoI), Jansson, M. (CoI) & Qvist, M. (CoI)
01/01/99 → 31/12/01
Projekt: Finlands Akademi/Övriga Forskningsråd