Marc Pantel

Latest

• 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
• Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development