Contribution aux fondements des méthodes formelles : jeux, logique et automates
Cette thèse d'HDR en anglais, présente l'essentiel de mes travaux de 1996 à 2005. Voir le résumé anglais pour plus de détails.
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Sciences et Technologies - Bordeaux I
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00659990 http://tel.archives-ouvertes.fr/docs/00/66/05/47/PDF/full.pdf |