Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks.
Lars Michael KristensenKurt JensenPublished in: SoftSpez Final Report (2004)
Keyphrases
- protocol specification
- network layer
- network devices
- ip address
- routing protocol
- lightweight
- state machines
- edge detection
- formal specification
- end to end
- edge detector
- colored petri nets
- edge information
- formal analysis
- high level
- formal methods
- application layer
- pattern discovery
- knowledge discovery
- formal verification
- cryptographic protocols
- flow control
- communication protocols
- discovery process
- edge map
- image processing
- specification language
- state machine
- network protocols