Vérification formelle pour des applications sous nfc
No Thumbnail Available
Date
2023
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
La 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'.