themis-artifact-outdated
Themis Artifact Repository est un ensemble d'outils permettant la surveillance et l'analyse de spécifications distribuées. Il offre des fonctionnalités telles que la génération d'automates à partir de formules LTL, la minimisation de formules booléennes et LTL, et le monitoring décentralisé de systèmes.
Cas d'utilisation métiers
- Génération d'automates à partir de formules LTL : rechercher des initiatives proches
- Monitoring décentralisé de systèmes : rechercher des initiatives proches
- Surveillance de spécifications distribuées : rechercher des initiatives proches
- Minimisation de formules booléennes et LTL : rechercher des initiatives proches
Cas d'utilisation fonctionnel
Organisation
- Institut national de recherche en informatique et en automatique (organisation rattachée)
Description générée le lundi 18 mars 2024 à 09:58:52