Le moteur de recherche
des thèses françaises
Tayssir Touili
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Systèmes informatiques -- Mesures de sûreté
Virus informatiques
Automates
Vérification
Automates à pile
LTL (Logique Temporelle Linéaire)
Méthodes formelles (informatique)
Protection de l'information (informatique)
Apprentissage automatique
Traitement réparti
Systèmes paramétrés
Systèmes à pile
Hyper-propriétés
Automate à surpile
Pointeur de pile
Réseaux d'automates à pile synchronisés
Abstraction de Kleene
Algorithmes d'approximation
Structures de données (informatique)