Modelling “Operation-Calls” in Event-B with Shared-Event Composition

Andrew Edmunds, Marina Walden

Information Technology

Research output: Book/Journal/Report › Commissioned report › Professional

30 Downloads (Pure)

1 results

Filter

Finished

ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Principal Investigator), Olszewska, M. (Co-Investigator), Edmunds, A. (Co-Investigator), Ostroumov, S. (Co-Investigator), Petre, L. (Co-Investigator), Boström, P. (Co-Investigator) & Neovius, M. (Co-Investigator)
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils