<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-03-08 19:45:47Context aware network Query language Electronics Computing Context-aware pervasive systems Ubiquitous computing |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2010-03-08 19:45:47Context aware network Query language Electronics Computing Context-aware pervasive systems Ubiquitous computing |
Add to Reading List |
A Model Checking based Framework for Building Correct Context-Aware Systems Christian Hoareau