Login / Signup
The behavioural semantics of Event-B refinement.
Steve A. Schneider
Helen Treharne
Heike Wehrheim
Published in:
Formal Aspects Comput. (2014)
Keyphrases
</>
formal semantics
event detection
logic programming
semantic information
data sets
spatio temporal
information systems
video sequences
domain knowledge
logic programs
video data
news articles
event recognition