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