Formal Modelling for Ada Implementations: Tasking Event-B.

Andrew Edmunds Abdolbaghi Rezazadeh Michael J. Butler

Published in: Ada-Europe (2012)

Keyphrases

event detection
event recognition
event driven
efficient implementation
real time
formal analysis
database
data structure
search algorithm
image processing
artificial intelligence
formal model
formal specification
formal methods
neural network
databases
temporal structure
events occur