Le moteur de recherche
des thèses françaises
Safouan Taha
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
UML (informatique)
Systèmes embarqués (informatique)
Temps réel (informatique)
Ingénierie dirigée par les modèles
Langages de description de matériel informatique
Ordinateurs -- Conception et construction
Robots mobiles
Meta Modèles
Sémantique Formelles
Isabelle/HOL
Théorèmes -- Démonstration automatique
Plongements (mathématiques)
Génie logiciel
Vérification de logiciel
Méthodes formelles
Model checking
Interprétation abstraite
Preuve déductive
Vérification de modèles (informatique)