SDL based validation of a node monitoring protocol.
Anandi GiridharanPallapa VenkataramPublished in: CoRR (2015)
Keyphrases
- monitoring system
- residual energy
- coloured petri nets
- lightweight
- formal analysis
- real time
- node density
- node selection
- tcp ip
- protocol specification
- directed graph
- application layer
- cryptographic protocols
- communication protocols
- network protocols
- mobile nodes
- graph structure
- transmission power
- wireless sensor networks
- file transfer
- multi agent systems