Refinement of Statemachines Using Event B Semantics.

Colin F. Snook Marina Waldén

Published in: B (2007)

Keyphrases

logic programming
formal semantics
event detection
data model
semantic information
temporal patterns
temporal relations
event recognition
operational semantics
argumentation semantics
metadata
news stories
event driven