-
1دورية أكاديمية
المصدر: IEEE Transactions on Intelligent Transportation Systems; Jun2022, Vol. 23 Issue 6, p5625-5637, 13p
-
2
المصدر: 2017 IEEE International Workshop on Metrology for AeroSpace (MetroAeroSpace)
4th IEEE International Workshop on Metrology for AeroSpace, 2017, Padova, Italia, 21-23/06/2017
info:cnr-pdr/source/autori:F. Martinelli (1), F. Mercaldo (1), V. Nardone (2), A. Santone (2)/congresso_nome:4th IEEE International Workshop on Metrology for AeroSpace, 2017/congresso_luogo:Padova, Italia/congresso_data:21-23%2F06%2F2017/anno:2017/pagina_da:/pagina_a:/intervallo_pagineمصطلحات موضوعية: Model checking, Engineering, business.industry, Automotive industry, 020207 software engineering, Robotics, 02 engineering and technology, Computer security, computer.software_genre, Formal Methods, Malware, Wonder, World Wide Web, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Artificial intelligence, Android (operating system), android, business, computer, Mobile device, Humanoid robot
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3146882742b556d0de93e5f3ffbc6b59Test
https://doi.org/10.1109/metroaerospace.2017.7999579Test -
3
المؤلفون: Francesco Mercaldo, Antonella Santone, Vittoria Nardone
المصدر: ARES
مصطلحات موضوعية: Model checking, 021110 strategic, defence & security studies, Java, Computer science, business.industry, 0211 other engineering and technologies, 020207 software engineering, 02 engineering and technology, Computer security, computer.software_genre, Formal methods, World Wide Web, 0202 electrical engineering, electronic engineering, information engineering, Ransomware, Malware, Mobile telephony, Android (operating system), business, computer, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a945414bc5908d74d4027fb010cc67fTest
https://doi.org/10.1109/ares.2016.35Test -
4
المصدر: WETICE
مصطلحات موضوعية: Model checking, 021110 strategic, defence & security studies, Database, Computer science, 0211 other engineering and technologies, 020207 software engineering, 02 engineering and technology, computer.software_genre, Computer security, Formal methods, Cryptovirology, Installation, Phone, Trojan, 0202 electrical engineering, electronic engineering, information engineering, Malware, Android (operating system), computer
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cba66b9f5934007d5e0fe9ce8ff03b57Test
https://doi.org/10.1109/wetice.2016.67Test