An adapted double threshold protocol for spastic muscles.

Pedro M. Vieira João F. Ferreira Pedro R. Gomes Carlos S. Lima

Published in: EMBC (2016)

Keyphrases

coloured petri nets
cryptographic protocols
lightweight
communication protocol
network protocols
database
real time
metadata
multi agent systems
formal analysis
blood flow