The following pages link to Guillaume Dupont (Q2147210):
Displayed 9 items.
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Empowering the Event-B method using external theories (Q2165497) (← links)
- Reachability analysis and simulation for hybridised Event-B models (Q2165506) (← links)
- Numerical analysis of three-dimensional acoustic cloaks and carpets (Q2441031) (← links)
- Non-singular arbitrary cloaks dressing three-dimensional anisotropic obstacles (Q3019713) (← links)
- Cloaking a vertical cylinder via homogenization in the mild-slope equation (Q4976683) (← links)
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
- Revolution analysis of three-dimensional arbitrary cloaks (Q6216310) (← links)
- Acoustic cloaking and mirages with flying carpets (Q6216812) (← links)