Event-B method
Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method
14
OntoEventB: A Generator of Event-B contexts from Ontologies
3
About Probabilistic Event-B
34
FDIR architectures for autonomous spacecraft: specification and assessment with event-B
3
The invoice case study modelling in Event B
28
A System Substitution Mechanism for Hybrid Systems in Event-B
17
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B
16
Model based system assessment: formalisation et évaluation de systèmes autonomes en Event-B
2
Moving from Event-B to Probabilistic Event-B
29
Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP
176
An Event-B Development Process for the Distributed BIP Framework
18
Domain Modeling with Event-B: An Experience with Transportation Domain
17
Modelling an Aircraft Landing System in Event-B (Full Report)
133
An Event-B Development Process for the Distributed BIP Framework
17
Explicit modelling of physical measures: from Event-B to Java
17
Moving from Event-B to probabilistic Event-B
23
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B
16
Building Correct SDN Components from a Global Event-B Formal Model
17
Using Event-B to Verify the Kmelia Components and Their Assemblies
4
Event-B formalization of a variability-aware component model patterns framework
28