مؤتمر
Model Checking for Mobile Android Malware Evolution
| العنوان: | Model Checking for Mobile Android Malware Evolution |
|---|---|
| المؤلفون: | Cimitile, Aniello, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Vaglini, Gigliola |
| المصدر: | 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) |
| بيانات النشر: | IEEE |
| سنة النشر: | 2017 |
| نوع الوثيقة: | conference object |
| اللغة: | unknown |
| DOI: | 10.1109/formalise.2017.4 |
| الإتاحة: | https://doi.org/10.1109/formalise.2017.4Test http://xplorestaging.ieee.org/ielx7/7965807/7967975/07967989.pdf?arnumber=7967989Test |
| رقم الانضمام: | edsbas.277725F3 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1109/formalise.2017.4 |
|---|