Semantics of Real-Time Trigger-Response Properties in Event-B.

Chenyang Zhu Michael J. Butler Corina Cîrstea

Published in: TASE (2018)

Keyphrases

real time
desirable properties
event driven
database systems
event detection
databases
neural network
metadata
low cost
structural properties
real time systems
operational semantics
formal language
graph properties