Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Idir Aït-Sadoune
Latest
Using Deep Ontologies in Formal Software Engineering
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services
Verification and Validation of Web Service Composition Using Event B Method
Cite
×