Etienne Lozes
Mots clés
FR |
EN
Vérification formelle
Logiciels -- Vérification
Assistants de preuve
Automates communicants
Méthodes formelles (informatique)
Logique de séparation
Preuve formelle
Coq
Analyse classique
Théorie du contrôle
Pendule inversé
Automatisation
Calcul
Commande, Théorie de la
Pendule
Calcul formel
Vérification de modèles (informatique)
Parallélisme
Modèles de programmation
Parallélisme de donnée