The Case for Using Simulation to Validate Event-B Specifications.

Faqing Yang Jean-Pierre Jacquot Jeanine Souquières

Published in: APSEC (2012)

Keyphrases

event detection
simulation model
simulation environment
real world
database
databases
formal specification
events occurring