An Open Extensible Tool Environment for Event-B.

Jean-Raymond Abrial Michael J. Butler Stefan Hallerstede Laurent Voisin

Published in: ICFEM (2006)

Keyphrases

mobile robot
dynamic environments
software tools
complex environments
indoor environments
application specific
event driven
open systems
software environment
machine learning
information retrieval
data model
highly flexible
condition action rules