المؤلفون: Fabio Martinelli, Vittoria Nardone, Antonella Santone, Francesco Mercaldo

المصدر: 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

المؤلفون: 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

المؤلفون: Francesco Mercaldo, Corrado Aaron Visaggio, Vittoria Nardone, Antonella Santone

المصدر: 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

المؤلفون: Barbara Pralio, Pierangelo Garino, Tania Cerquitelli, Luca Venturini, Silvia Chiusano, Luca Cagliero, Marco Nardone

المصدر: ICDE Workshops

مصطلحات موضوعية: Computer science, business.industry, Big data, Context (language use), data warehousing, Computer security, computer.software_genre, Data science, Data warehouse, Open data, smart city, Smart city, Business intelligence, Data mining, Performance indicator, business, computer

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b1a060a7bb551c854438e31d1ba19ef2Test
https://doi.org/10.1109/icdew.2015.7129559Test