Knowledge Tree

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