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)
21 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Applying guidelines for system modelling in Event-B: A systematic literature review'. Together they form a unique fingerprint.

Computer Science