Le moteur de recherche
des thèses françaises
Jean-Pierre Talpin
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Vérification formelle
Méthodes formelles (informatique)
Logiciels -- Vérification
Méthodes formelles
Temps réel (informatique)
Systèmes réactifs sychrones
Automates de modes
Programmation logique contrainte
Automates programmables
Programmation logique
Logiciels -- Validation
Langages de programmation -- Sémantique
Systèmes cyber-Physiques
Correct par construction
Objets coopérants (informatique)
Langages synchrones
Systèmes adaptatifs (technologie)
Compilation (informatique)
Programmation en temps réel