Formalization and Validation of the Radio Link Protocol (RLP1).
Michael J. FergusonPublished in: Comput. Networks ISDN Syst. (1997)
Keyphrases
- formal analysis
- node mobility
- ad hoc networks
- physical layer
- wireless communication
- lightweight
- transmission power
- knowledge representation
- formal model
- communication protocol
- wireless sensor networks
- multi hop
- network protocols
- inter domain
- application layer
- wifi
- routing protocol
- wireless networks
- security protocols
- communication protocols
- network layer
- link structure
- network topology
- sensor networks
- file transfer