Le moteur de recherche
des thèses françaises
Éric Goubault
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Interprétation abstraite
Systèmes informatiques -- Mesures de sûreté
Vérification de programmes
Systèmes dynamiques
Traitement réparti
Analyse statique
Méthodes formelles
Homologie
Homotopie
Topologie algébrique
Concurrence
Logique épistémique
Parallélisme (informatique)
Topologie algébrique dirigée
Programmation par contraintes
Arithmétique en virgule flottante
Logique modale
Algèbre
Exploration