Formal Methods for Energy-Efficient EPONs.
Sophia G. PetridouStylianos BasagiannisLefteris MamatasPublished in: IEEE Trans. Green Commun. Netw. (2018)
Keyphrases
- formal methods
- energy efficient
- wireless sensor networks
- energy consumption
- sensor networks
- model checking
- knowledge based systems
- energy efficiency
- artificial intelligence
- data dissemination
- data gathering
- formal specification
- base station
- multi core architecture
- data transmission
- sensor nodes
- modeling language
- software engineering
- information systems
- data acquisition
- cost effective
- routing protocol
- intrusion detection
- data collection
- expert systems
- data streams