Nicolas Halbwachs
IdRefMots clés
FR |
EN
Compilation
Interprétation abstraite
Systèmes embarqués
Langages synchrones
Systèmes embarqués (informatique)
Temps réel (informatique)
Langages de programmation
Langage synchrone
Systèmes réactifs
Analyse statique
Sémantique opérationnelle
Sciences appliquées
Langage programmation
Programming language
Parallélisme (informatique)
Langages de programmation -- Sémantique
Logiciels -- Vérification
Méthodes formelles
Systèmes distribués temps-Réels synchrones
Abstraction quasi-Synchrone