-
1مؤتمر
المؤلفون: Aoun J., Goverde R. M. P., Nardone R., Quaglietta E., Vittorini V.
المساهمون: authors, Aoun, J., Goverde, R. M. P., Nardone, R., Quaglietta, E., Vittorini, V.
مصطلحات موضوعية: fault tree, moving block, railway operation, virtual coupling
العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-6654-7092-6; info:eu-repo/semantics/altIdentifier/wos/WOS:000981836500011; ispartofbook:6th International Conference on System Reliability and Safety, ICSRS 2022; 6th International Conference on System Reliability and Safety, ICSRS 2022; firstpage:69; lastpage:74; numberofpages:6; https://hdl.handle.net/11367/116857Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85151643761
الإتاحة: https://doi.org/10.1109/ICSRS56243.2022.10067547Test
https://hdl.handle.net/11367/116857Test -
2مؤتمر
المؤلفون: Aoun J., Goverde R. M. P., Nardone R., Quaglietta E., Vittorini V.
المساهمون: authors, Aoun, J., Goverde, R. M. P., Nardone, R., Quaglietta, E., Vittorini, V.
مصطلحات موضوعية: fault tree, moving block, railway operation, virtual coupling, info, envir
-
3مؤتمر
المؤلفون: Saddem-Yagoubi, Rim, Sanwal, Muhammad Usman, Libutti, Simone, Benerecetti, Massimo, Beugin, Julie, Flammini, Francesco, Ghazel, Mohamed, Janssen, Bob, Marrone, Stefano, Mogavero, Fabio, Nardone, Roberto, Peron, Adriano, Seceleanu, Cristina, Vittorini, Valeria
المساهمون: Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (COSYS-ESTAS ), Université Gustave Eiffel, Mälardalen University College, Mälardalen University (MDH), University of Naples Federico II = Università degli studi di Napoli Federico II, Eulynx, Department of Mathematics and Physics, University of Campania, Department of Engineering, University of Naples Parthenope, PERFORMINGRAIL
المصدر: ESREL 2022, 32nd European Safety and Reliability Conference ; https://hal.science/hal-03690961Test ; ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p
مصطلحات موضوعية: MOVING BLOCK, ERTMS/ETCS L3, MODEL-DRIVEN ENGINEERING, FORMAL METHODS, VERIFICATION AND VALIDATION, TRANSPORT FERROVIAIRE, METHODE FORMELLE, SURETE DE FONCTIONNEMENT, GESTION DU TRAFIC, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
العلاقة: hal-03690961; https://hal.science/hal-03690961Test
الإتاحة: https://hal.science/hal-03690961Test
-
4مؤتمر
المؤلفون: Saddem-Yagoubi, Rim, Sanwal, Muhammad Usman, Libutti, Simone, Benerecetti, Massimo, Beugin, Julie, Flammini, Francesco, Ghazel, Mohamed, Janssen, Bob, Marrone, Stefano, Mogavero, Fabio, Nardone, Roberto, Peron, Adriano, Seceleanu, Cristina, Vittorini, Valeria
المساهمون: Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (COSYS-ESTAS ), Université Gustave Eiffel, Mälardalen University College, Mälardalen University (MDH), Department of Electrical Engineering and Information Technologies, University of Naples Federico II, University of Naples Federico II = Università degli studi di Napoli Federico II, Eulynx, Department of Mathematics and Physics, University of Campania, Department of Engineering, University of Naples Parthenope, PERFORMINGRAIL
المصدر: ESREL 2022, 32nd European Safety and Reliability Conference ; https://hal.science/hal-03690961Test ; ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p
مصطلحات موضوعية: MOVING BLOCK, ERTMS/ETCS L3, MODEL-DRIVEN ENGINEERING, FORMAL METHODS, VERIFICATION AND VALIDATION, TRANSPORT FERROVIAIRE, METHODE FORMELLE, SURETE DE FONCTIONNEMENT, GESTION DU TRAFIC, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], geo, envir
العلاقة: https://hal.science/hal-03690961Test
الإتاحة: https://hal.science/hal-03690961Test
-
5مؤتمر
المؤلفون: Saddem-Yagoubi, Rim, Sanwal, Muhammad Usman, Libutti, Simone, Benerecetti, Massimo, Beugin, Julie, Flammini, Francesco, Ghazel, Mohamed, Janssen, Bob, Marrone, Stefano, Mogavero, Fabio, Nardone, Roberto, Peron, Adriano, Seceleanu, Cristina, Vittorini, Valeria
المساهمون: Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (COSYS-ESTAS ), Université Gustave Eiffel, Mälardalen University College, Mälardalen University (MDH), Department of Electrical Engineering and Information Technologies, University of Naples Federico II, University of Naples Federico II = Università degli studi di Napoli Federico II, Eulynx, Department of Mathematics and Physics, University of Campania, Department of Engineering, University of Naples Parthenope, PERFORMINGRAIL
المصدر: ESREL 2022, 32nd European Safety and Reliability Conference ; https://hal.science/hal-03690961Test ; ESREL 2022, 32nd European Safety and Reliability Conference, Aug 2022, Dublin, France. 8p
مصطلحات موضوعية: MOVING BLOCK, ERTMS/ETCS L3, MODEL-DRIVEN ENGINEERING, FORMAL METHODS, VERIFICATION AND VALIDATION, TRANSPORT FERROVIAIRE, METHODE FORMELLE, SURETE DE FONCTIONNEMENT, GESTION DU TRAFIC, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
العلاقة: hal-03690961; https://hal.science/hal-03690961Test
الإتاحة: https://hal.science/hal-03690961Test
