يعرض 1 - 4 نتائج من 4 نتيجة بحث عن '"Nardone A."', وقت الاستعلام: 0.74s تنقيح النتائج
  1. 1
    مؤتمر

    المساهمون: ICAART 2019 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, Capobianco, G., Giacomo, U. D., Mercaldo, F., Nardone, V., Santone, A.

    العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000671841000044; ispartofbook:ICAART 2019 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence; 11th International Conference on Agents and Artificial Intelligence, ICAART 2019; volume:2; firstpage:458; lastpage:465; numberofpages:8; http://hdl.handle.net/11695/88842Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85064809151; http://wwwTest.scitepress.org/DigitalLibrary/HomePage.aspx

    الإتاحة: http://hdl.handle.net/11695/88842Test
    http://wwwTest.scitepress.org/DigitalLibrary/HomePage.aspx

  2. 2
    مؤتمر

    المساهمون: Paolo Mori, Steven Furnell, Olivier Camp, Fasano, Fausto, Martinelli, F, Mercaldo, F, Nardone, V, Santone, A

    مصطلحات موضوعية: Android, Formal Method, Malware, Security, Temporal Logic

    العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000570402400076; ispartofbook:ICISSP 2019 - Proceedings of the 5th International Conference on Information Systems Security and Privacy; 5th International Conference on Information Systems Security and Privacy, ICISSP 2019; firstpage:690; lastpage:699; numberofpages:10; http://hdl.handle.net/11695/88660Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85064710074; http://wwwTest.scitepress.org/DigitalLibrary/HomePage.aspx

    الإتاحة: http://hdl.handle.net/11695/88660Test
    http://wwwTest.scitepress.org/DigitalLibrary/HomePage.aspx

  3. 3
    مؤتمر

    المساهمون: Paolo Mori, Steven Furnell, Fasano, F., Martinelli, F., Mercaldo, F., Nardone, V., Santone, A.

    مصطلحات موضوعية: Malware, Android, Security, Formal Method, Temporal Logic

    العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000570402400076; ispartofbook:Proceedings of the 5th International Conference on Information Systems Security and Privacy (ICISSP 2019), pages 690-699; firstpage:690; lastpage:699; numberofpages:10; https://hdl.handle.net/11695/131289Test

  4. 4
    مؤتمر

    المؤلفون: Martinelli F., Mercaldo F., Nardone V.

    المساهمون: ICISSP 2018 - Proceedings of the 4th International Conference on Information Systems Security and Privacy, Martinelli, F., Mercaldo, F., Nardone, V.

    مصطلحات موضوعية: Android, Model Checking, Security

    العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-989-758-282-0; ispartofbook:ICISSP 2018 - Proceedings of the 4th International Conference on Information Systems Security and Privacy; 4th International Conference on Information Systems Security and Privacy, ICISSP 2018; volume:2018-; firstpage:589; lastpage:596; numberofpages:8; https://hdl.handle.net/11695/115420Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85052013552