The following pages link to Marc Pantel (Q2147211):
Displayed 9 items.
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Empowering the Event-B method using external theories (Q2165497) (← links)
- Credible autocoding of convex optimization algorithms (Q2358081) (← links)
- (Q2852047) (← links)
- Verification of the Schorr-Waite Algorithm – From Trees to Graphs (Q3003486) (← links)
- (Q4251118) (← links)
- Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation (Q4989485) (← links)
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902543) (← links)