Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition

Hakutulokset

• Päättynyt

  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

  Projekti: Research Council of Finland/Other Research Councils