Published: 2019-11-01

DOI: https://doi.org/10.47164/ijngc.v10i3.163

Formal assessment of some properties of Context-Aware Systems

Fabio Alberto Schreiber, Maria Elena Valcher

163-177

DOI: https://doi.org/10.47164/ijngc.v10i3.168
DOI: https://doi.org/10.47164/ijngc.v10i3.164
DOI: https://doi.org/10.47164/ijngc.v10i3.165
DOI: https://doi.org/10.47164/ijngc.v10i3.166
DOI: https://doi.org/10.47164/ijngc.v10i3.167