Login / Signup
Language and tool support for event refinement structures in Event-B.
Asieh Salehi Fathabadi
Michael J. Butler
Abdolbaghi Rezazadeh
Published in:
Formal Aspects Comput. (2015)
Keyphrases
</>
tool support
event detection
event recognition
event driven
complex events
software development
object oriented
multi agent
access control
software systems
natural language
language learning
network security
software projects
software tools
cooperative
event sequences
high level
database