Keyphrases
- formal methods
- cellular networks
- wireless networks
- mobile users
- formal specification
- model checking
- base station
- knowledge based systems
- decision making
- mobile networks
- artificial intelligence
- software engineering
- cellular systems
- modeling language
- supply chain management
- databases
- database
- wifi
- rfid tags
- development lifecycle