Le moteur de recherche
des thèses françaises
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
Modélisation de transport
Solutions numériques
Évaluation environnementale
Impacts indirects du numérique
Impacts environnementaux