Pierre-Emmanuel Hladik
IdRefMots clés
FR |
EN
Temps réel (informatique)
Ordonnancement (informatique)
Ordonnancement (gestion)
Ordonnancement temps-réel
Optimisation
Systèmes avioniques
Architectures modulaires intégrées
Tâches strictement périodique
Théorie de jeux
Routage des liens virtuels
Méthodes formelles
Vérification en ligne
Model-Checking
Diagnostic
Méthodes formelles (informatique)
Systèmes échantillonnés
Petri, Réseaux de
Ordonnancement
Multiprocesseur
Multicoeur