Emmanuel Grolleau
IdRefMots clés
FR |
EN
Temps réel (informatique)
Systèmes embarqués (informatique)
Ordonnancement (informatique)
Ingénierie dirigée par les modèles
Microprocesseurs multi-coeurs
Systèmes d'exploitation (ordinateurs)
Systèmes, Conception de
Simulation
Vérification formelle
Vérification de modèles (informatique)
Ordonnancement
Réseaux électriques intelligents
Modélisation des données (informatique)
Avionique
Ethernet (système de réseau local)
Temps-Réel
Systèmes informatiques -- Mesures de sûreté
Petri, Réseaux de
CAN
Logiciels -- Validation