Applying guidelines for system modelling in Event-B: A systematic literature review

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Walden

Research output: Contribution to journal › Article › Scientific › peer-review

1 Citation (Scopus)

52 Downloads (Pure)

1 results

Filter

Research Council of Finland/Other Research Councils

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 Council of Finland/Other Research Councils