Transforming Event B Models into Verified C# Implementations.

Dominique Méry Rosemary Monahan

Published in: VPT@CAV (2013)

Keyphrases

probabilistic model
prior knowledge
model selection
accurate models
real world
three dimensional
data streams
experimental data