Eugène Asarin
IdRefMots clés
FR |
EN
Automates temporisés
Automates
Temps réel (informatique)
Systèmes stochastiques
Vérification
Partage de Secret
Théorie de l'Information
Complexité de Kolmogorov
Protection de l'information (informatique)
Sécurité informatique
Réseaux d'ordinateurs -- Mesures de sûreté
Information, Théorie de l'
Algorithmes
Complexité de calcul (informatique)
Kolmogorov, Équation de
Synthèse de contrôleur
Hiérarchie
Systèmes EDO
Stabilisation
Ordres partiels