Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)

Walden, Marina (Ansvarig forskare)
Olszewska, Marta (CoI)
Edmunds, Andrew (CoI)
Ostroumov, Sergey (CoI)
Petre, Luigia (CoI)
Boström, Pontus (CoI)
Neovius, Mats (CoI)

Informationsteknologi

13 Publicerad konferensartikel
10 Beställd rapport
2 Artikel
1 Kapitel
Mer
- 1 Doktorsavhandling

2 resultat

Filter

2020
Applying guidelines for system modelling in Event-B: A systematic literature review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, I: International Journal of Critical Computer-Based Systems. 10, 1, s. 1–36
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

Öppen tillgång
Fil
1 Citeringar (Scopus)

101 Nedladdningar (Pure)
2016

Quantitatively Measuring a Large-Scale Agile Transformation
Olszewska, M., Heidenberg, J., Weijola, M., Mikkonen, K. & Porres Paltor, I., 2016, I: Journal of Systems and Software. 117, s. 258–273
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

39 Citeringar (Scopus)