The following pages link to Yamine Ait-Ameur (Q1806124):
Displaying 11 items.
- Refinement of rational end-points real numbers by means of floating-point numbers (Q1806125) (← links)
- A refinement-based development of a distributed signalling system (Q2065545) (← links)
- Towards leveraging domain knowledge in state-based formal methods (Q2115898) (← links)
- 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)
- Realisability of choreographies (Q2206787) (← links)
- (Q4471915) (← links)
- (Q4475265) (← links)
- Event-B-Supported Choreography-Defined Communicating Systems (Q5040369) (← links)
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
