Communication Dans Un Congrès
Année : 2018
Tayssir Touili : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03902469
Soumis le : jeudi 15 décembre 2022-23:53:00
Dernière modification le : vendredi 24 mars 2023-14:53:30
Dates et versions
Identifiants
- HAL Id : hal-03902469 , version 1
Citer
Huu Vu Nguyen, Tayssir Touili. BCARET Model Checking for Malware Detection.. ICTAC, 2018, Hammamet, Tunisia. ⟨hal-03902469⟩
Collections
11
Consultations
0
Téléchargements