A formal executable specification of the GinMAC protocol for Wireless Sensor Actuator Networks.
Admar Ajith Kumar SomappaLars Michael KristensenKnut ØvsthusPublished in: ISWPC (2013)
Keyphrases
- formal specification
- wireless sensor
- protocol specification
- sensor networks
- formal methods
- wireless lan
- wireless sensor networks
- mobile nodes
- social networks
- real time
- model checking
- data collection
- data sets
- lightweight
- energy efficiency
- network management
- tcp ip
- wireless networks
- network structure
- wireless communication
- network security
- data processing
- data management
- response time
- digital libraries