Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Jean-Marie Jacquet

Mots clés

FR |

EN

Approche "correct-par-construction"

Informatique dans les nuages

Systèmes adaptatifs (technologie)

Méthodes formelles (informatique)

Logiciels -- Maintenance

Ontologies (informatique)