المؤلفون: Canonico R., Flammini F., Marrone S., Nardone R., Vittorini V.

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

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

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-19761-1; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-19762-8; ispartofbook:Leveraging Applications of Formal Methods, Verification and Validation. Practice. ISoLA 2022.; volume:13704 LNCS; firstpage:308; lastpage:320; numberofpages:13; serie:LECTURE NOTES IN COMPUTER SCIENCE; info:eu-repo/grantAgreement/EC/H2020/101015416; alleditors:Margaria, T., Steffen, B.; https://hdl.handle.net/11588/913478Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85142692213; https://link.springer.com/chapter/10.1007/978-3-031-19762-8_23Test

الإتاحة: https://doi.org/10.1007/978-3-031-19762-8_23Test
https://hdl.handle.net/11588/913478Test

المؤلفون: Saddem-Yagoubi, R., Beugin, J., Ghazel, M., Marrone, S., Janssen, B., Flammini, F., Seceleanu, C., Sanwal, U., Benerecetti, M., Libutti, S., Napolitano, E., Mogavero, F., Nardone, R., Peron, A., Vittorini, V., J., Aoun

المساهمون: Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (COSYS-ESTAS ), Université Gustave Eiffel, Shift2Rail - H2020 European programme, European Project: 101015416,PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signaling

المصدر: https://hal.science/hal-04488053Test ; Université Gustave Eiffel. 2023.

مصطلحات موضوعية: [INFO]Computer Science [cs]

العلاقة: info:eu-repo/grantAgreement//101015416/EU/PERFORMINGRAIL/PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signaling; hal-04488053; https://hal.science/hal-04488053Test; https://hal.science/hal-04488053/documentTest; https://hal.science/hal-04488053/file/S2R_PM-WEB-D-S2R-010-01_-_D2.3_Moving_Block_Verification_and_Validation.pdfTest

الإتاحة: https://hal.science/hal-04488053Test
https://hal.science/hal-04488053/documentTest
https://hal.science/hal-04488053/file/S2R_PM-WEB-D-S2R-010-01_-_D2.3_Moving_Block_Verification_and_Validation.pdfTest

المؤلفون: Marrone, S., Flammini, F., Janssen, B., Saddem-Yagoubi, R., Beugin, J., Ghazel, M., Seceleanu, C., Sanwal, U., Benerecetti, M., Libutti, S., Napolitano, E., Mogavero, F., Nardone, R., Peron, A., Starace, L., Vittorini, V.

المساهمون: Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (COSYS-ESTAS ), Université Gustave Eiffel, Shift2Rail - H2020 European programme, Consorzio interuniversitario nazionale per l’informatica

المصدر: https://hal.science/hal-04488013Test ; Consorzio interuniversitario nazionale per l’informatica. 2023.

مصطلحات موضوعية: [INFO]Computer Science [cs]

العلاقة: hal-04488013; https://hal.science/hal-04488013Test; https://hal.science/hal-04488013/documentTest; https://hal.science/hal-04488013/file/PERFORMINGRAIL_D2_2.pdfTest

الإتاحة: https://hal.science/hal-04488013Test
https://hal.science/hal-04488013/documentTest
https://hal.science/hal-04488013/file/PERFORMINGRAIL_D2_2.pdfTest

المؤلفون: Tang, R, De Donato, L, Bes̆inović, N, Flammini, F, Goverde, RMP, Lin, Z, Liu, R, Tang, T, Vittorini, V, Wang, Z

وصف الملف: text

العلاقة: https://eprints.whiterose.ac.uk/185584/7/1-s2.0-S0968090X22001206-main.pdfTest; Tang, R, De Donato, L, Bes̆inović, N et al. (7 more authors) (2022) A literature review of Artificial Intelligence applications in railway systems. Transportation Research Part C: Emerging Technologies, 140. 103679. ISSN 0968-090X

الإتاحة: https://eprints.whiterose.ac.uk/185584Test/
https://eprints.whiterose.ac.uk/185584/7/1-s2.0-S0968090X22001206-main.pdfTest

المؤلفون: Flammini F., Bellini E., Stella De Biase M., Marrone S.

المساهمون: Giancarlo Fortino, David Kaber, Andreas Nürnberger, David Mendonça, Flammini, F., Bellini, E., Stella De Biase, M., Marrone, S.

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9781119863632; ispartofbook:Handbook of Human-Machine Systems; firstpage:419; lastpage:430; numberofpages:12; alleditors:Giancarlo Fortino, David Kaber, Andreas Nürnberger, David Mendonça; https://hdl.handle.net/11590/459847Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85168533408

الإتاحة: https://doi.org/10.1002/9781119863663.ch34Test
https://hdl.handle.net/11590/459847Test

المؤلفون: Samra, M., Beugin, J., Ghazel, M., Marrone, S., Vittorini, V., Starace, L., Nardone, R., Di Martino, S., Peron, A., Benerecetti, M., Goverde, R.M.P., Seceleanu, C., Flammini, F., Mazini, A., Garcia, M.

المساهمون: Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (COSYS-ESTAS ), Université Gustave Eiffel, Shift2Rail - H2020 European programme, University of Birmingham, European Project: 101015416,PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signaling

المصدر: https://hal.science/hal-04487942Test ; University of Birmingham. 2022.

مصطلحات موضوعية: [SPI]Engineering Sciences [physics]

العلاقة: info:eu-repo/grantAgreement//101015416/EU/PERFORMINGRAIL/PERformance-based Formal modelling and Optimal tRaffic Management for movING-block RAILway signaling; hal-04487942; https://hal.science/hal-04487942Test; https://hal.science/hal-04487942/documentTest; https://hal.science/hal-04487942/file/PERFORMINGRAIL%20D1.1-v1.1.pdfTest

الإتاحة: https://hal.science/hal-04487942Test
https://hal.science/hal-04487942/documentTest
https://hal.science/hal-04487942/file/PERFORMINGRAIL%20D1.1-v1.1.pdfTest

المؤلفون: Faramondi, L., Flammini, F., Guarino, S., Setola, R.

المساهمون: Programma Operativo (POR) Fondo europeo di sviluppo regionale (FESR) Lazio Region Project piattafoRma per la valutazionE SperIMentale delle resilienza in infrastrutture critiche

المصدر: IEEE Access ; volume 9, page 122385-122396 ; ISSN 2169-3536

الإتاحة: https://doi.org/10.1109/access.2021.3109465Test
http://xplorestaging.ieee.org/ielx7/6287639/9312710/09526562.pdf?arnumber=9526562Test

المؤلفون: De Donato L., Marrone S., Flammini F., Sansone C., Vittorini V., Nardone R., Mazzariello C., Bernaudin F.

المساهمون: De Donato, L., Marrone, S., Flammini, F., Sansone, C., Vittorini, V., Nardone, R., Mazzariello, C., Bernaudin, F.

مصطلحات موضوعية: Anomaly detection, Artificial intelligence, Audio analytic, Machine learning, Predictive maintenance, Railway safety

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

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

المؤلفون: De Donato L., Dirnfeld R., Somma A., De Benedictis A., Flammini F., Marrone S., Saman Azari M., Vittorini V.

المساهمون: De Donato, L., Dirnfeld, R., Somma, A., De Benedictis, A., Flammini, F., Marrone, S., Saman Azari, M., Vittorini, V.

العلاقة: journal:JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS; https://hdl.handle.net/11588/931811Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85161629381

الإتاحة: https://doi.org/10.1007/s40860-023-00208-6Test
https://hdl.handle.net/11588/931811Test

المؤلفون: Faramondi, L., Flammini, F., Guarino, S., Setola, R.

المساهمون: INAIL

المصدر: 2023 IEEE International Conference on Cyber Security and Resilience (CSR)

الإتاحة: https://doi.org/10.1109/csr57506.2023.10224915Test
http://xplorestaging.ieee.org/ielx7/10224900/10224823/10224915.pdf?arnumber=10224915Test