Le moteur de recherche
des thèses françaises
Eugène Asarin
IdRefMots clés
FR |
EN |
ES
Automates temporisés
Automates
Temps réel (informatique)
Théorie de l'information
Algorithmes
Systèmes stochastiques
Théorie des jeux
Vérification
Robustesse
Commande robuste
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é
Complexité de calcul (informatique)
Équation de Kolmogoroff
Synthèse de contrôleur
Hiérarchie