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

Andrew Edmunds, Marina Walden

Informationsteknologi

Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

18 Nedladdningar (Pure)

1 resultat

Slutfört

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
Projekt: Finlands Akademi/Övriga Forskningsråd