Pages that link to "Item:Q2842627"
From MaRDI portal
The following pages link to Practical Theory Extension in Event-B (Q2842627):
Displaying 6 items.
- Spot the difference: a detailed comparison between B and Event-B (Q2117587) (← 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)
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
- A refinement-based formal development of cyber-physical railway signalling systems (Q6610255) (← links)
