Projekt per år
Originalspråk | Odefinierat/okänt |
---|---|
Sidor (från-till) | 258–273 |
Tidskrift | Journal of Systems and Software |
Volym | 117 |
DOI | |
Status | Publicerad - 2016 |
MoE-publikationstyp | A1 Tidskriftsartikel-refererad |
Projekt
- 1 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