Reinhard Van Hanxleden
Mots clés
FR |
EN
Sémantique formelle
Compilation
Compilation (informatique)
Langage d'action
Langages parallèles
Ingénierie guidée par les modèles
Statecharts
Langages de programmation -- Sémantique
Temps-Réel
Ordonnancement
Langage synchrone
Parallélisme
Temps réel (informatique)
Systèmes informatiques -- Mise en oeuvre
Ordonnancement (informatique)
Parallélisme (informatique)