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