Le moteur de recherche
des thèses françaises
Damien Massé
IdRefMots clés
FR |
EN
Interpretation abstraite
Sémantique
Logiques temporelles
Analyse statique
Robotique sous-marine
Systèmes dynamiques
Ensembles invariants
Interprétation abstraite
Programmation par contraintes
Flotteurs profilers
Robots sous-marins
Robots -- Dynamique
Courants marins
Commande automatique
Fiabilité
Analyse des systèmes
Vérification de modèles (informatique)
Logiciels -- Vérification
Calcul des variations
Optimisation mathématique