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