Projects per year
Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 258–273 |
Journal | Journal of Systems and Software |
Volume | 117 |
DOIs | |
Publication status | Published - 2016 |
MoE publication type | A1 Journal article-refereed |
Projects
- 1 Finished
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Principal Investigator), Olszewska, M. (Co-Investigator), Edmunds, A. (Co-Investigator), Ostroumov, S. (Co-Investigator), Petre, L. (Co-Investigator), Boström, P. (Co-Investigator) & Neovius, M. (Co-Investigator)
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils