Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Guillaume Dupont
Latest
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
Cite
×