Gérard Padiou
IdRefMots clés
FR |
EN
Systèmes à paramètres répartis
Systèmes informatiques
Conception par composant
Cohérence des données
Systèmes distribués
Logiciels spatiaux
Préchargement
Multimédias
Traitement réparti
Génie logiciel
Informatique
Temps réel
Réparti
Vérification
Spécification
Formel
Formalisme UNITY
Temps réel (informatique)
Ordonnancement causal de flux
Vidéos interactives