Burkhart Wolff
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Méthodes formelles
Test
Logiciels -- Vérification
Isabelle/HOL
Théorèmes -- Démonstration automatique
UML
Assistant de preuve
UML (informatique)
Génie logiciel
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
MARTE
AUTOSAR