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., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils