-
1دورية أكاديمية
المساهمون: Bernardeschi, Cinzia, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella
مصطلحات موضوعية: malware, botnet, Android, model checking, formal methods, temporal logic, security
وصف الملف: ELETTRONICO
العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000571151500099; volume:159; firstpage:963; lastpage:972; numberofpages:10; journal:PROCEDIA COMPUTER SCIENCE; http://hdl.handle.net/11568/1016574Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85076259247; https://www.sciencedirect.com/science/article/pii/S1877050919314590Test
الإتاحة: https://doi.org/10.1016/j.procs.2019.09.263Test
http://hdl.handle.net/11568/1016574Test
https://www.sciencedirect.com/science/article/pii/S1877050919314590Test -
2مؤتمر
المساهمون: University of Sannio Benevento, Elvira Albert, Ivan Lanese, TC 6, WG 6.1
المصدر: Lecture Notes in Computer Science ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01432919Test ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
مصطلحات موضوعية: Malware, Android, Security, Formal methods, Temporal logic, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
العلاقة: hal-01432919; https://hal.inria.fr/hal-01432919Test; https://hal.inria.fr/hal-01432919/documentTest; https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest
الإتاحة: https://doi.org/10.1007/978-3-319-39570-8_14Test
https://hal.inria.fr/hal-01432919Test
https://hal.inria.fr/hal-01432919/documentTest
https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest -
3مؤتمر
المؤلفون: Nardone Vittoria, Raucci Domenico, Santone Antonella
المساهمون: Reddy S.M., Gaaloul W., Nardone, Vittoria, Raucci, Domenico, Santone, Antonella
مصطلحات موضوعية: Model checking, Temporal Logic, Action Controls, Management Control Systems, Purchasing Process
وصف الملف: ELETTRONICO
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-150901663-1; info:eu-repo/semantics/altIdentifier/wos/WOS:000390313000042; ispartofbook:Enabling Technologies: Infrastructure for Collaborative Enterprises; 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE Workshops 2016; firstpage:199; lastpage:204; numberofpages:6; http://hdl.handle.net/11564/669625Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84983788997; https://ieeexplore.ieee.org/document/7536461/metrics#metricsTest
الإتاحة: https://doi.org/10.1109/WETICE.2016.52Test
http://hdl.handle.net/11564/669625Test
https://ieeexplore.ieee.org/document/7536461/metrics#metricsTest