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
Vérification formelle
Vérification de modèles (informatique)
Avionique
Temps-Réel
Réseaux électriques intelligents
Modélisation des données (informatique)
Petri, Réseaux de
Systèmes informatiques -- Mesures de sûreté
Simulation
CAN
Ordonnancement
Contraintes de bout-en-bout
Tabou