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
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver