-
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مؤتمر
المساهمون: University of Sannio Benevento, Elvira Albert, Ivan Lanese, TC 6, WG 6.1
المصدر: Lecture Notes in Computer Science ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01432919Test ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
مصطلحات موضوعية: Malware, Android, Security, Formal methods, Temporal logic, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
العلاقة: hal-01432919; https://hal.inria.fr/hal-01432919Test; https://hal.inria.fr/hal-01432919/documentTest; https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest
الإتاحة: https://doi.org/10.1007/978-3-319-39570-8_14Test
https://hal.inria.fr/hal-01432919Test
https://hal.inria.fr/hal-01432919/documentTest
https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest -
5مؤتمر
المساهمون: University of Sannio Benevento, Elvira Albert, Ivan Lanese, TC 6, WG 6.1
المصدر: Lecture Notes in Computer Science ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE) ; https://hal.inria.fr/hal-01432919Test ; 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.212-221, ⟨10.1007/978-3-319-39570-8_14⟩
مصطلحات موضوعية: Malware, Android, Security, Formal methods, Temporal logic, [INFO]Computer Science [cs], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]
العلاقة: hal-01432919; https://hal.inria.fr/hal-01432919Test; https://hal.inria.fr/hal-01432919/documentTest; https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest
الإتاحة: https://doi.org/10.1007/978-3-319-39570-8_14Test
https://hal.inria.fr/hal-01432919Test
https://hal.inria.fr/hal-01432919/documentTest
https://hal.inria.fr/hal-01432919/file/426757_1_En_14_Chapter.pdfTest -
6مؤتمر
المؤلفون: Schlick, Rupert, Felderer, Michael, Majzik, Istvan, Nardone, Roberto, Raschke, Alexander, Snook, Colin, Vittorini, Valeria
مصطلحات موضوعية: Benchmarks, Formal methods, Formal models, Industrial adoption, Benchmarking, Digital storage, Formal model, Good scientific practices, Open datum, Potential benefits, Potential users, Research fields, Software Engineering, Programvaruteknik
العلاقة: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 0302-9743; Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 249-272; http://urn.kb.se/resolve?urn=urn:nbn:se:bth-17350Test; urn:isbn:9783030034269; Scopus 2-s2.0-85056453238
الإتاحة: https://doi.org/10.1007/978-3-030-03427-6_20Test
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-17350Test
