Towards Component-Based Reuse for Event-B

Andrew Edmunds, Colin Snook, Marina Walden

Information Technology

Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

15 Lataukset (Pure)

1 tulosta

Research Council of Finland/Other Research Councils

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