Le moteur de recherche
des thèses françaises
Burkhart Wolff
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Isabelle/HOL
Méthodes formelles
Test
Logiciels -- Vérification
Assistants de preuve
UML
Génie logiciel
UML (informatique)
Assistant de preuve
Théorèmes -- Démonstration automatique
Langages de programmation -- Sémantique
Ingénierie dirigée par les modèles
Systèmes automobiles
Systèmes temps réel
Systèmes distribués
Temps budget
Optimisation
Algorithme évolutionniste
SysML