Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Neeraj Kumar Singh 0001
Latest
Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B
Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
Analysis of Self-⋆ and P2P Systems Using Refinement
Cite
×