Jean-Pierre Talpin
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Méthodes formelles
Méthodes formelles (informatique)
Vérification formelle
Logiciels -- Vérification
Temps réel (informatique)
Objets coopérants (informatique)
Langages synchrones
Systèmes adaptatifs (technologie)
Correct par construction
Langages de programmation -- Sémantique
Logiciels -- Validation
Systèmes réactifs sychrones
Automates de modes
Programmation logique contrainte
Automates programmables
Programmation logique
Conception par contrats
Systèmes cyber-physiques
Isolation mémoire