Le moteur de recherche
des thèses françaises
Claire Pagetti
IdRefMots clés
FR |
EN
Temps réel (informatique)
Systèmes embarqués (informatique)
Ordonnancement (informatique)
Microprocesseurs multi-coeurs
Ordonnancement
Apprentissage automatique
Systèmes embarqués
Analyse Pire Cas
Sûreté de fonctionnement
Réseaux neuronaux (informatique)
Vérification formelle
Méthodes formelles
Méthodes formelles (informatique)
Fiabilité
Sûreté
Réseaux de neurones
Systèmes informatiques -- Mesures de sûreté
Certification
Multiprocesseurs
Criticité mixte