The following pages link to Neeraj Kumar Singh (Q2115897):
Displaying 6 items.
- 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)
- Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B (Q5881449) (← links)
- A complete fragment of LTL(EB) (Q6630198) (← links)
