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

Chenyang Zhu Michael J. Butler Corina Cîrstea

Published in: TASE (2019)

Keyphrases

real time
event driven
semantic properties
low cost
vision system
logical properties
databases
high speed
logic programming
desirable properties
quality of service
temporal relations
real time systems
event detection
conceptual model
control system
neural network
data sets