-
1دورية أكاديمية
المصدر: IEEE Transactions on Intelligent Transportation Systems; Jun2022, Vol. 23 Issue 6, p5625-5637, 13p
-
2
المساهمون: Nardone, R., De Tommasi, G., Mazzocca, N., Pironti, A., Vittorini, V.
المصدر: ETFA
مصطلحات موضوعية: Model checking, 0209 industrial biotechnology, Finite-state machine, Theoretical computer science, Computer science, 020208 electrical & electronic engineering, 02 engineering and technology, Petri net, 020901 industrial engineering & automation, Promela, Unified Modeling Language, Asynchronous communication, Control system, 0202 electrical engineering, electronic engineering, information engineering, computer, computer.programming_language
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fce63e703be851c37ca4460ee0c749b4Test
https://doi.org/10.1109/etfa.2018.8502565Test -
3
المصدر: 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 -
4
المؤلفون: 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 -
5
المؤلفون: Antonella Santone, Luigi Glielmo, Massimo Tipaldi, Vittoria Nardone
المصدر: 2016 IEEE Metrology for Aerospace (MetroAeroSpace).
مصطلحات موضوعية: Model checking, Correctness, Spacecraft, business.industry, Computer science, Control reconfiguration, 020207 software engineering, 02 engineering and technology, Reliability engineering, Consistency (database systems), Probabilistic CTL, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Markov decision process, business, Formal verification
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::e41301ba4179e3399bfeae4a0fcba0c5Test
https://doi.org/10.1109/metroaerospace.2016.7573276Test -
6
المصدر: 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 -
7دورية أكاديمية
المصدر: IEEE Systems Journal; Mar2019, Vol. 13 Issue 1, p1018-1029, 12p