Return to Article Details Formal assessment of some properties of Context-Aware Systems Download Download PDF