Auteur
Yiqun Duan
Articles qui citent Yiqun Duan parmi les auteurs de la source. Un même nom peut désigner des chercheurs différents.
1 résultats
Articles qui citent Yiqun Duan parmi les auteurs de la source. Un même nom peut désigner des chercheurs différents.
1 résultats
AMV-Guard vérifie les mémoires liées à une action si les éléments recueillis peuvent changer la décision, et réduit le coût de vérification dans des tests simulés d’utilisation d’outils.