Qualification et interrogation de graphes sémantiques à l'aide du Model Checking
Résumé
Qualification et interrogation 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-00636779
Soumis le : vendredi 28 octobre 2011-11:43:24
Dernière modification le : jeudi 7 septembre 2023-16:08:09
Dates et versions
Identifiants
- HAL Id : hal-00636779 , version 1
Citer
Mahdi Gueffaz. Qualification et interrogation de graphes sémantiques à l'aide du Model Checking. Assemblé général du LE2I, Jul 2011, Creusot (Centre universitaire du Condorcet), France. ⟨hal-00636779⟩
75
Consultations
0
Téléchargements