Qualification de graphes sémantiques à l'aide du Model Checking
Résumé
Qualification de graphes sémantiques à l'aide du Model Checking
Communication Dans Un Congrès
Année : 2011
Mahdi Gueffaz : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00636774
Soumis le : vendredi 28 octobre 2011-11:39:40
Dernière modification le : samedi 27 juillet 2024-03:15:40
Dates et versions
Identifiants
- HAL Id : hal-00636774 , version 1
Citer
Mahdi Gueffaz, Sylvain Rampacek, Christophe Nicolle. Qualification de graphes sémantiques à l'aide du Model Checking. 17eme Forum des jeunes chercheurs (FJC 2011), Jun 2011, Dijon, France. ⟨hal-00636774⟩
117
Consultations
0
Téléchargements