Le moteur de recherche
des thèses françaises
Isabelle Gnaedig
IdRefMots clés
FR |
EN
Systèmes de réécriture (informatique)
Détection de codes malveillants
Analyse comportementale
Abstraction de comportements
Model checking
Réécriture de mots
Réécriture de termes
Analyse statique
Automates à états finis
Virus informatiques
Logiciels -- Vérification
Réécriture
Programmation
Système réécriture
Théorie équationnelle
Terminaison
Rewriting
Programming
Rewriting system
Termination