Le moteur de recherche
des thèses françaises
Éric Goubault
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Traitement réparti
Interprétation abstraite
Logique épistémique
Robots mobiles
Systèmes informatiques -- Mesures de sûreté
Vérification de programmes
Systèmes dynamiques
Topologie algébrique
Analyse statique
Méthodes formelles
Homologie
Homotopie
Concurrence
Calcul distribué
Véhicules autonomes
Robotique distribuée
Robotique
Planification -- Informatique
Systèmes hybrides