Claire Pagetti
IdRefMots clés
FR |
EN
Temps réel (informatique)
Systèmes embarqués (informatique)
Microprocesseurs multi-coeurs
Ordonnancement (informatique)
Analyse Pire Cas
Systèmes embarqués
Ordonnancement
Méthodes formelles
Vérification formelle
Sûreté de fonctionnement
Méthodes formelles (informatique)
Systèmes temps réel
Temps-Réel
Criticité mixte
Multiprocesseurs
Vérification de modèles (informatique)
Ethernet (système de réseau local)
Réseau sur puce
Réseaux de neurones
AUTOSAR