themis-rv18smarthome
Ce projet concerne la surveillance de maisons intelligentes à l'aide d'une vérification de spécifications décentralisée et d'un monitoring hiérarchique. Il fournit des artéfacts pour explorer les expériences et reproduire les résultats présentés dans des articles de recherche.
Cas d'utilisation métiers
Organisation
- Institut national de recherche en informatique et en automatique (organisation rattachée)
Outils utilisés
- GNU Bash : voir les initiatives de ses organisations qui l'ont aussi
- Git : voir les initiatives de ses organisations qui l'ont aussi
- Docker : voir les initiatives de ses organisations qui l'ont aussi
- Python : voir les initiatives de ses organisations qui l'ont aussi
- GitLab : voir les initiatives de ses organisations qui l'ont aussi
Description générée le mardi 19 mars 2024 à 09:08:42