Projects per year
| Original language | Undefined/Unknown |
|---|---|
| Publisher | Turku Centre for Computer Science (TUCS) |
| ISBN (Print) | 978-952-12-3124-7 |
| Publication status | Published - 2014 |
| MoE publication type | D4 Published development or research report or study |
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