1 |
Préservation de la cohérence des transformations topologiques et géométriques
|
|
|
|
In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016)
|
|
BASE
|
|
Show details
|
|
2 |
JERBOA : un modeleur géométrique à base de règles
|
|
|
|
In: Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) ; https://hal.archives-ouvertes.fr/hal-00936743 ; Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France (2012)
|
|
BASE
|
|
Show details
|
|
3 |
Transformations de graphes pour les opérations topologiques en modélisation géométrique
|
|
|
|
In: 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009) ; https://hal.archives-ouvertes.fr/hal-00488533 ; 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France (2009)
|
|
BASE
|
|
Show details
|
|
|
|