Sophie Quinton
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Temps réel (informatique)
Chaînes de tâches
Temps-Réel
Flexibilité
Systèmes à composants
Contrats
Vérification incrémentale
Contrôle distribué
Calcul Réseau
Coq
Réseau temps réel
Calcul dans min-Plus
Calcul formel
Mathématiques -- Informatique
Certification
Systèmes temps réel
Analyse d'ordonnançabilité
Ordonnancement (informatique)
Logiciels verts