Réécriture de graphes pour la construction de modèles en logique modale
Pour modéliser le fonctionnement d'un système, décrire une situation ou représenter des idées, on se met intuitivement à dessiner des bulles et les lier par des flèches sous forme de graphes étiquetés. Les logiques modales constituent un cadre formel expressif et extensible qui permet de défini...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Paul Sabatier - Toulouse III
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00466115 http://tel.archives-ouvertes.fr/docs/00/46/61/15/PDF/2010_Bilal_SAID_thesis-en-fr.pdf http://tel.archives-ouvertes.fr/docs/00/46/61/15/ANNEX/PRESENTATION-SOUTENANCE.PDF |