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. (Vastuullinen tutkija), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)

  01/09/13 → 31/08/17

  Projekti: Research Council of Finland/Other Research Councils