Simulation and formal specification of protocols for mobile radio networks-an integrated approach.
Eva HedmanSimon HoffPublished in: VTC (1994)
Keyphrases
- formal specification
- delay tolerant
- formal specification language
- model checking
- specification languages
- mobile devices
- wireless medium
- protocol specification
- object oriented design
- specification language
- reverse engineering
- formal methods
- wireless systems
- process algebra
- multimedia services
- communication protocols
- cellular networks
- wireless networks
- information systems
- wifi
- mobile users
- mobile applications
- temporal logic
- ns simulator
- case study