Probabilistic Event-B
Moving from Event-B to probabilistic Event-B
23
Moving from Event-B to Probabilistic Event-B
29
About Probabilistic Event-B
34
Moving from Event-B to Probabilistic Event-B
9
Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events
15
A Fully Probabilistic Extension of Event-B
18
Une extension probabiliste pour Event-B
3
Introducing Probabilistic Reasoning within Event-B
53
Model based system assessment: formalisation et évaluation de systèmes autonomes en Event-B
2
An Event-B Development Process for the Distributed BIP Framework
17
Explicit modelling of physical measures: from Event-B to Java
17
Domain Modeling with Event-B: An Experience with Transportation Domain
17
An Event-B Development Process for the Distributed BIP Framework
18
Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP
176
OntoEventB: A Generator of Event-B contexts from Ontologies
3
Domain Engineering with Event-B: Some Lessons We Learned
11
Event-B Formalization of a Variability-Aware Component Model Patterns Framework
22
Using Event-B to Verify the Kmelia Components and Their Assemblies
4
Co-simulation of Event-B and Ptolemy II Models via FMI
10
FDIR architectures for autonomous spacecraft: specification and assessment with event-B
3