Formal assessment of some properties of Context-Aware Systems

Fabio Alberto Schreiber, Maria Elena Valcher. Formal assessment of some properties of Context-Aware Systems. IJNGC, 10(3), 2019. [doi]

Abstract

Abstract is missing.