sog-rop
Notoriété 7 %
Le projet sog-rop vise à fournir des outils pour l'analyse et la réduction de systèmes à événements partiels. Il permet de construire des graphes symboliques observables et de calculer des ensembles amples pour la réduction de modèles, contribuant ainsi à atténuer l'explosion d'état dans les systèmes concurrents.
Dépôt de code
Cas d'utilisation métiers
- Calcul d'ensembles amples pour la réduction de modèles : rechercher des initiatives proches
- Analyse des systèmes à événements partiels : rechercher des initiatives proches
- Réduction de l'explosion d'état dans les systèmes concurrents : rechercher des initiatives proches
- Génération de graphes symboliques observables : rechercher des initiatives proches
Organisation
- Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace (organisation rattachée)
Description générée le dimanche 17 mars 2024 à 20:17:15
D'autres initiatives de la même organisation
- #dataESRdata.esr.gouv.fr
- French Open Science Monitorfrenchopensciencemonitor.esr.gouv.fr
- CurieXplorecuriexplore.enseignementsup-recherche.gouv.fr
- Works-magnetworks-magnet.esr.gouv.fr