Case study on the use of SDL for specifying an IETF micro mobility protocol.
Telemaco MeliaAmardeo SarmaRui L. AguiarDieter HogrefePublished in: COMSWARE (2006)
Keyphrases
- case study
- mobility management
- mobile ipv
- mobile agents
- lightweight
- ns simulator
- real world
- software development
- working group
- development process
- formal analysis
- resource reservation
- network protocols
- electro mechanical systems
- neural network
- mobility patterns
- human mobility
- cryptographic protocols
- communication protocol
- authentication protocol
- data dissemination
- mobile networks
- coloured petri nets
- wireless sensor networks