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