Context-Aware Verification of a Cruise-Control System.
Ciprian TeodorovLuka LerouxPhilippe DhaussyPublished in: MEDI (2014)
Keyphrases
- context aware
- control system
- contextual information
- context awareness
- ubiquitous computing
- mobile devices
- ambient intelligence
- smart home
- ubiquitous learning
- mobile computing
- real time
- location aware
- context aware systems
- mobile applications
- context aware services
- smart spaces
- human centric
- current context
- context aware ubiquitous learning
- mobile users
- multimedia
- mobile environments
- smart environments
- user context
- human activities
- access control
- ubiquitous environment
- digital libraries
- context aware computing
- context aware mobile