Transformations de graphes pour les opérations topologiques en modélisation géométrique : application à l'étude de la dynamique de l'appareil de Golgi
Dans cette thèse, qui s’inscrit dans l’étude de la modélisation géométrique via les méthodes formelles, nous proposons un langage graphique à base de règles dédié à la description des opérations topologiques des cartes généralisées. Notre langage est fondé sur la théorie des transformations de graph...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2009EVRY0039/document |