Pierre Roux
IdRefMots clés
FR |
EN
Calcul Réseau
Coq
Réseau temps réel
Calcul dans min-Plus
Calcul formel
Mathématiques -- Informatique
Systèmes embarqués (informatique)
Interprétation abstraite
Systèmes de contrôle-commande
Invariants quadratiques
Itération sur les stratégies
Ellipsoïdes
Programmation semi-définie
Systèmes de commande (vol)
Invariants
Logiciels -- Vérification