Keyphrases
- mobile devices
- mobile phone
- mobile learning
- intelligent mobile
- location aware
- specification language
- mobile technologies
- user defined
- formal specification
- mobile computing
- smart phones
- formal verification
- mobile applications
- high level
- autonomous mobile
- provably correct
- database
- formal methods
- m learning
- context aware
- database systems
- real time