Nabet, Aïcha2024-06-092024-06-092023https://dspace.univ-annaba.dz//handle/123456789/3510La sensibilité au contexte est un domaine contemporain attirant l'attention de la communauté scientifique par sa capacité inouïe d'adaptation de comportement par rapport à des données spécifiques pouvant être tirées de l'environnement, formant un contexte. Cette technologie s'appuie sur la bonne perception de l'environnement. Near Field Communication 'NFC' offre un ensemble d'objets capables de jouer le rôle de collecteurs de contexte. L'intégration de la NFC dans ce domaine permet de créer un type particulier d'application appelé 'application sensible au contexte sous NFC'.frVérification formelle pour des applications sous nfcThesis