Ubiquitous Verification of Ubiquitous Systems.
Reinhard WilhelmMatteo MaffeiPublished in: SEUS (2010)
Keyphrases
- ubiquitous systems
- ubiquitous computing
- context aware
- ambient intelligence
- context awareness
- model checking
- smart environments
- smart devices
- verification method
- text categorization
- formal verification
- action recognition
- artificial intelligence
- sensor networks
- ground truth
- ubiquitous environment
- artificial neural networks