-
1مؤتمر
المؤلفون: 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
-
2مؤتمر
المؤلفون: 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
-
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), 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
-
4مؤتمر
المؤلفون: MARRONE, Stefano, Nardone, Roberto
المساهمون: AA.VV., Shakshuki E., Marrone, Stefano, Nardone, Roberto
مصطلحات موضوعية: Bayesian network, MARTE-DAM, Model-driven engineering, Resiliency, Virtual machine allocation, Computer Science (all)
العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000361567100130; ispartofbook:Procedia Computer Science; The International Conference on Ambient Systems, Networks and Technologies, ANT-2015, the International Conference on Sustainable Energy Information Technology, SEIT-2015; volume:52; issue:1; firstpage:980; lastpage:987; numberofpages:8; journal:PROCEDIA COMPUTER SCIENCE; alleditors:Shakshuki E.; http://hdl.handle.net/11591/365040Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84939161381; http://www.sciencedirect.com/science/journal/18770509Test
الإتاحة: https://doi.org/10.1016/j.procs.2015.05.176Test
http://hdl.handle.net/11591/365040Test
http://www.sciencedirect.com/science/journal/18770509Test