Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker.

Chenyang Zhu Michael J. Butler Corina Cîrstea

Published in: TASE (2020)

Keyphrases

real time
event driven
computer vision
structural properties
multimedia
website
image sequences
multiscale
multi agent
evolutionary algorithm
desirable properties