Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol.
Pedro Juan RoigSalvador AlcarazKatja GillyCarlos JuizPublished in: SIMULTECH (2018)
Keyphrases
- routing protocol
- ad hoc networks
- wireless sensor networks
- network topology
- routing algorithm
- mobile ad hoc networks
- data transmission
- energy consumption
- sensor networks
- energy efficient
- energy aware
- network layer
- multi hop
- energy efficiency
- switched networks
- end to end delay
- end to end
- cooperative
- sensor nodes
- routing overhead