Le moteur de recherche
des thèses françaises
David Mentré
IdRefMots clés
FR |
EN
Différences de programmes
Sémantique opérationnelle
Preuves mécanisées en Coq
Vérification
Logique relationnelle
Langages de programmation -- Sémantique
Code source (informatique)
Coq (logiciel)
Gamma
Thèses
Mémoire partagée
Programmation par aspects
Méthode de conception
Mémoire partagée répartie
Programmation orientée aspects (informatique)
Vérification de modèles
Optimisation
Robustesse
Automates temporisés
Commande robuste