| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Sivut | 258–273 |
| Julkaisu | Journal of Systems and Software |
| Vuosikerta | 117 |
| DOI - pysyväislinkit | |
| Tila | Julkaistu - 2016 |
| OKM-julkaisutyyppi | A1 Julkaistu artikkeli, soviteltu |
Projektit
- 1 Päättynyt
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Vastuullinen tutkija), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)
01/09/13 → 31/08/17
Projekti: Research Council of Finland/Other Research Councils
Viittausmuodot
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver