المؤلفون: Gabrielli, Edoardo, Belli, Dimitri, Miori, Vittorio, Tolomei, Gabriele

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Cryptography and Security, Statistics - Machine Learning

الوصول الحر: http://arxiv.org/abs/2303.16668Test

المؤلفون: Mazzanti, Franco, Belli, Dimitri

المصدر: EPTCS 355, 2022, pp. 118-144

مصطلحات موضوعية: Computer Science - Software Engineering, D.2.1,D.2.2,D.2.4,D.3.1

الوصول الحر: http://arxiv.org/abs/2203.10903Test

المؤلفون: Belli, Dimitri, Barsocchi, Paolo, Palumbo, Filippo

المساهمون: European Commission

المصدر: Internet of Things ; volume 25, page 101005 ; ISSN 2542-6605

مصطلحات موضوعية: Management of Technology and Innovation, Artificial Intelligence, Computer Science Applications, Hardware and Architecture, Engineering (miscellaneous), Information Systems, Computer Science (miscellaneous), Software

الإتاحة: https://doi.org/10.1016/j.iot.2023.101005Test
https://api.elsevier.com/content/article/PII:S2542660523003281?httpAccept=text/xmlTest
https://api.elsevier.com/content/article/PII:S2542660523003281?httpAccept=text/plainTest

المؤلفون: Tolomei, Gabriele, Gabrielli, Edoardo, Belli, Dimitri, Miori, Vittorio

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Cryptography and Security, Statistics - Machine Learning

العلاقة: http://arxiv.org/abs/2303.16668Test

الإتاحة: http://arxiv.org/abs/2303.16668Test

المؤلفون: Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo

مصطلحات موضوعية: Requirements analysis, formal methods, software engineering, railway signalling

العلاقة: info:eu-repo/grantAgreement/EC/H2020/881775/; https://zenodo.org/record/7298044Test; https://doi.org/10.5281/zenodo.7298044Test; oai:zenodo.org:7298044

الإتاحة: https://doi.org/10.5281/zenodo.7298044Test
https://doi.org/10.5281/zenodo.7225869Test
https://zenodo.org/record/7298044Test

المؤلفون: Mazzanti, Franco, Belli, Dimitri

مصطلحات موضوعية: forma verification, formal methods, system reuiremetns, standard, standard interfaces, railway signaling systems

العلاقة: info:eu-repo/grantAgreement/EC/H2020/881775/; https://zenodo.org/record/6245956Test; https://doi.org/10.5281/zenodo.6245956Test; oai:zenodo.org:6245956

الإتاحة: https://doi.org/10.5281/zenodo.6245956Test
https://doi.org/10.5281/zenodo.6245955Test
https://zenodo.org/record/6245956Test

المؤلفون: Belli, Dimitri, Lischi, Guglielmo, Pardini, Giovanni, Milazzo, Paolo, Domenici, Valentina

المصدر: Journal of Chemical Education ; volume 101, issue 2, page 647-652 ; ISSN 0021-9584 1938-1328

مصطلحات موضوعية: Education, General Chemistry

الإتاحة: https://doi.org/10.1021/acs.jchemed.3c00986Test

المؤلفون: Barsocchi, Paolo, Chessa, Stefano, Foschini, Luca, Belli, Dimitri, Girolami, Michele

المساهمون: Barsocchi, Paolo, Chessa, Stefano, Foschini, Luca, Belli, Dimitri, Girolami, Michele

مصطلحات موضوعية: CrowdSensing, Multi-access Edge Computing, Mobile Edge, Community Detection

وصف الملف: ELETTRONICO

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-7281-8298-8; info:eu-repo/semantics/altIdentifier/wos/WOS:000668970504078; ispartofbook:GLOBECOM 2020 - 2020 IEEE Global Communications Conference; IEEE Global Communications Conference, GLOBECOM 2020; firstpage:1; lastpage:6; numberofpages:6; serie:. IEEE GLOBAL COMMUNICATIONS CONFERENCE; https://hdl.handle.net/11585/811875Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85101215492; https://ieeexplore.ieee.org/document/9348085Test

الإتاحة: https://doi.org/10.1109/GLOBECOM42002.2020.9348085Test
https://hdl.handle.net/11585/811875Test
https://ieeexplore.ieee.org/document/9348085Test

المؤلفون: Belli, Dimitri, Fantechi, Alessandro, Gnesi, Stefania, Masullo, Laura, Mazzanti, Franco, Quadrini, Lisa, Trentini, Daniele, Vaghi, Carlo

المصدر: Formal Methods for Industrial Critical Systems ; Lecture Notes in Computer Science ; page 22-39 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031436802 9783031436819

الإتاحة: https://doi.org/10.1007/978-3-031-43681-9_2Test

المؤلفون: Belli, Dimitri, Mazzanti, Franco

المصدر: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ; Lecture Notes in Computer Science ; page 164-173 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031262357 9783031262364

الإتاحة: https://doi.org/10.1007/978-3-031-26236-4_14Test