Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Elena Troubitsyna
Latest
Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B
Formal Derivation of Distributed MapReduce
Supporting Reuse in Event B Development: Modularisation Approach
Cite
×