Jean-François Hermant
IdRefMots clés
FR |
EN
Analyse d'algorithmes
Preuves de ponctualité
Conditions de faisabilité
Protocole de communication
Analyse Pire Cas
Temps réel
Sécurité
Virtualisation
Vétronique
Hyperviseur
Mils
Temps réel (informatique)
Systèmes informatiques -- Mesures de sûreté
Systèmes virtuels (informatique)
Passerelles (réseaux d'ordinateurs)