The Sticking Heartbeat Aperture Resynchronization Protocol.

Santiago Gonzalez Tracy Camp Katia Jaffrès-Runser

Published in: ICCCN (2017)

Keyphrases

imaging systems
network protocols
lightweight
real time
formal analysis
high resolution
communication protocol
coloured petri nets
data sets
database systems
heart rate
security protocols
tcp ip
cryptographic protocols
physiological processes