Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Véronique Donzeau-Gouge Viguié

Véronique Donzeau-Gouge Viguié

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Certyfing Airpot Security using the Focal Environnement
Une proposition de formalisme orienté composant : application de méthodes d'exécution symbolique pour la validation de systèmes à base de composants
Une aide à la réutilisation de preuves formelles : application aux preuves de propriétés sémantiques
Une modélisation de l'analyse de programmes par instances à travers la théorie des automates : les transducteurs comme relations des instances aux emplacements-mémoire
Un environnement formel pour le développement d'applications bases de données
Spécification formelle de systèmes complexes : méthodes et techniques
Traitement des expressions dépourvues de sens de la théorie des ensembles : application à la méthode B
Determination statique des types pour le langage set1