المؤلفون: Luigi Coppolino, Roberto Nardone, Alfredo Petruolo, Luigi Romano

المصدر: Applied Sciences, Vol 13, Iss 24, p 13060 (2023)

مصطلحات موضوعية: EPES, FIWARE, SIEM, cybersecurity, monitoring systems, Technology, Engineering (General). Civil engineering (General), TA1-2040, Biology (General), QH301-705.5, Physics, QC1-999, Chemistry, QD1-999

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/2076-3417/13/24/13060Test; https://doaj.org/toc/2076-3417Test

الوصول الحر: https://doaj.org/article/4161709a526044aaa3d73289ab8396d8Test

المؤلفون: Lorenzo De Donato, Francesco Flammini, Stefano Marrone, Claudio Mazzariello, Roberto Nardone, Carlo Sansone, Valeria Vittorini

المصدر: IEEE Access, Vol 10, Pp 65376-65400 (2022)

مصطلحات موضوعية: Computer vision, machine learning, fault detection, inspection, CNN, smart railways, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/9795283Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/b415c665ef5e4952a6941bb5ff666d17Test

المؤلفون: Nijat Rajabli, Francesco Flammini, Roberto Nardone, Valeria Vittorini

المصدر: IEEE Access, Vol 9, Pp 4797-4819 (2021)

مصطلحات موضوعية: Advanced driver assistance systems, automotive engineering, autonomous vehicles, cyber-physical systems, formal verification, intelligent vehicles, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/9310181Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/fd0774865d484783ad8d9143ada0588bTest

المؤلفون: Francesco Buccafurri, Vincenzo De Angelis, Roberto Nardone

المصدر: Sensors, Vol 20, Iss 7, p 2002 (2020)

مصطلحات موضوعية: Ethereum, Internet of Things, authentication, smart contracts, MQTT, one-time password, Chemical technology, TP1-1185

وصف الملف: electronic resource

العلاقة: https://www.mdpi.com/1424-8220/20/7/2002Test; https://doaj.org/toc/1424-8220Test

الوصول الحر: https://doaj.org/article/bcbe967a9dc34a4bb8bc5f95b47b3cb8Test

المؤلفون: Lorenzo De Donato, Stefano Marrone, Francesco Flammini, Carlo Sansone, Valeria Vittorini, Roberto Nardone, Claudio Mazzariello, Frédéric Bernaudin

المساهمون: DE DONATO, Lorenzo, Marrone, Stefano, Flammini, Francesco, Sansone, Carlo, Vittorini, Valeria, Nardone, Roberto, Mazzariello, Claudio, Bernaudin, Frédéric

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001013279100001; volume:123; firstpage:106405; journal:ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE; info:eu-repo/grantAgreement/EC/H2020/881782; https://hdl.handle.net/11588/922126Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85160199789

الإتاحة: https://doi.org/10.1016/j.engappai.2023.106405Test
https://hdl.handle.net/11588/922126Test

المؤلفون: Valeria Vittorini, Roberto Nardone, Francesco Flammini, Stefano Marrone

المساهمون: Flammini, F., Marrone, S., Nardone, R., Vittorini, V., Flammini, Francesco, Marrone, Stefano, Nardone, Roberto, Vittorini, Valeria

المصدر: Formal Aspects of Computing. 33:989-1007

مصطلحات موضوعية: Service (systems architecture), Railway, Performance Modelling, Stochastic Activity Networks, Moving block, Virtual Coupling, Computer science, Railway, Modularity (biology), Moving block, Stochastic Activity Networks, 02 engineering and technology, Track (rail transport), Theoretical Computer Science, 0502 economics and business, Headway, 0202 electrical engineering, electronic engineering, information engineering, Virtual Coupling, Network model, 050210 logistics & transportation, 05 social sciences, Stochastic Activity Network, Performance Modelling, 020207 software engineering, Industrial engineering, Coupling (computer programming), Railway signalling, Theory of computation, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9ef7446d208847805f071c400b394e2Test
https://doi.org/10.1007/s00165-021-00560-5Test

المؤلفون: Nikola Besinovic, Lorenzo De Donato, Francesco Flammini, Rob M. P. Goverde, Zhiyuan Lin, Ronghui Liu, Stefano Marrone, Roberto Nardone, Tianli Tang, Valeria Vittorini

المساهمون: Besinovic, N., De Donato, L., Flammini, F., Goverde, R. M. P., Lin, Z., Liu, R., Marrone, S., Nardone, R., Tang, T., Vittorini, V.

مصطلحات موضوعية: Artificial intelligence, Rail, Mechanical Engineering, Rails, traffic management, computer vision, Maintenance engineering, Computer Science Applications, predictive maintenance, machine learning, Rail transportation, railway transport, Safety, Software, Taxonomy, Automotive Engineering

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33f0767d0cbace799b9c16d574278cd3Test
https://hdl.handle.net/11367/100698Test

المؤلفون: Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini

المساهمون: Margaria, T., Steffen, B., Canonico, R., Flammini, F., Marrone, S., Nardone, R., Vittorini, V., AA.VV., Tiziana Margaria, Bernhard Steffen

المصدر: Lecture Notes in Computer Science ISBN: 9783031197611

مصطلحات موضوعية: Railways, ERTMS/ETCS, FRMCS, NG2R, SDN, Control plane, QoS, Formal methods, MDE, DSTM

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1de8c374b1dca8e5b0a095a8e183500Test
https://hdl.handle.net/11367/116858Test

المؤلفون: Massimo Benerecetti, Ugo Gentile, Roberto Nardone, Adriano Peron, Luigi Libero Lucio Starace, Valeria Vittorini, Stefano Marrone

المساهمون: Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorini, Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Benerecetti, Massimo, Gentile, Ugo, Nardone, Roberto, Peron, Adriano, Starace, LUIGI LIBERO LUCIO, Vittorini, Valeria, Marrone, Stefano

مصطلحات موضوعية: Dynamic State Machines, Model Checking, Model Driven, Promela, Spin, Test Case Generation, Transformation

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-30923-7; ispartofbook:Model Checking Software; volume:11636; firstpage:56; lastpage:73; numberofpages:18; serie:THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES; alleditors:Fabrizio Biondi, Thomas Given-Wilson, Axel Legay; http://hdl.handle.net/11588/775734Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075554658

الإتاحة: https://doi.org/10.1007/978-3-030-30923-7_4Test
http://hdl.handle.net/11588/775734Test

المؤلفون: Antonia Russo, Francesco Buccafurri, Gianluca Lax, Roberto Nardone

المساهمون: Russo, Antonia, Buccafurri, Francesco, Lax, Gianluca, Nardone, Roberto

العلاقة: ispartofbook:71st International Astronautical Congress (IAC 2020); http://hdl.handle.net/11367/99061Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85100915892

الإتاحة: http://hdl.handle.net/11367/99061Test