Formal Models of the OSPF Routing Protocol.
Jack DruryPeter HöfnerWeiyou WangPublished in: MARS@ETAPS (2020)
Keyphrases
- routing protocol
- formal models
- network topology
- ad hoc networks
- wireless sensor networks
- routing algorithm
- rule based systems
- process model
- energy consumption
- formal model
- data transmission
- mobile ad hoc networks
- energy aware
- sensor networks
- energy efficiency
- network layer
- multi hop
- end to end delay
- mobile nodes
- packet delivery
- biological inspired
- rule base
- sensor nodes
- intermediate nodes
- switched networks