-
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مؤتمر
المؤلفون: Vaccarezza, C., Adriani, O., Albergo, S., Alesini, D., Anania, M., Bacci, A., Bedogni, R., Bellaveglia, M., Biscari, C., Boni, R., Boscolo, I., Boscolo, M., Broggi, F., Cardarelli, P., Castellano, M., Catani, L., Chiadroni, E., Cianchi, A., Clozza, A., Curatolo, C., de Martinis, C., Di Domenico, G., Dipasquale, E., Dipirro, G., Drago, A., Esposito, A., Ferrario, M., Gallo, A., Gambaccini, M., Gatti, G., Ghigo, A., Graziani, G., Marcellini, F., Maroli, C., Marziani, M., Mazzitelli, G., Pace, E., Passaleva, G., Pellegrino, L., Petrillo, V., Pompili, R., Ricci, R., Rossi, R., Serio, M., Serafini, L., Sgamma, F., Spataro, B., Stecchi, A., Stella, A., Tomassini, Pascale, Tricomi, A., Veltri, M., Vescovi, S., Villa, Francesca, Ronsivalle, C., Antici, P., Coppola, M., Iarocci, E., Lancia, L., Mostacci, A., Migliorati, M., Nardone, V., Palumbo, L., Chaickovska, I., Dadoun, O., Druon, Frédéric, Fichot, P., Georges, P., Mueller, A., Stocchi, A., Variola, A., Zomer, F., Angal-Kalinin, D., Bliss, N., Clarke, J., Fell, B., Goulden, A., Herbert, J., Jamison, S., Martlew, B., Mcintosh, P., Smith, R., Smith, S.
المساهمون: Laboratoire de l'Accélérateur Linéaire (LAL), Université Paris-Sud - Paris 11 (UP11)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Charles Fabry / Lasers, Laboratoire Charles Fabry (LCF), Université Paris-Sud - Paris 11 (UP11)-Institut d'Optique Graduate School (IOGS)-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-Institut d'Optique Graduate School (IOGS)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Proceedings of IPAC2012 ; International Particle Accelerator Conference - IPAC'12 ; https://hal.in2p3.fr/in2p3-00704883Test ; International Particle Accelerator Conference - IPAC'12, May 2012, New Orleans, United States. pp.1086-1088
مصطلحات موضوعية: [PHYS.PHYS.PHYS-ACC-PH]Physics [physics]/Physics [physics]/Accelerator Physics [physics.acc-ph]
جغرافية الموضوع: New Orleans, United States
العلاقة: in2p3-00704883; https://hal.in2p3.fr/in2p3-00704883Test; https://hal.in2p3.fr/in2p3-00704883/documentTest; https://hal.in2p3.fr/in2p3-00704883/file/tuobb01.pdfTest
-
7مؤتمر
المؤلفون: Vaccarezza, C., Adriani, O., Albergo, S., Alesini, D., Anania, M., Bacci, A., Bedogni, R., Bellaveglia, M., Biscari, C., Boni, R., Boscolo, I., Boscolo, M., Broggi, F., Cardarelli, P., Castellano, M., Catani, L., Chiadroni, E., Cianchi, A., Clozza, A., Curatolo, C., de Martinis, C., Di Domenico, G., Dipasquale, E., Dipirro, G., Drago, A., Esposito, A., Ferrario, M., Gallo, A., Gambaccini, M., Gatti, G., Ghigo, A., Graziani, G., Marcellini, F., Maroli, C., Marziani, M., Mazzitelli, G., Pace, E., Passaleva, G., Pellegrino, L., Petrillo, V., Pompili, R., Ricci, R., Rossi, R., Serio, M., Serafini, L., Sgamma, F., Spataro, B., Stecchi, A., Stella, A., Tomassini, Pascale, Tricomi, A., Veltri, M., Vescovi, S., Villa, Francesca, Ronsivalle, C., Antici, P., Coppola, M., Iarocci, E., Lancia, L., Mostacci, A., Migliorati, M., Nardone, V., Palumbo, L., Chaickovska, I., Dadoun, O., Druon, Frédéric, Fichot, P., Georges, P., Mueller, A., Stocchi, A., Variola, A., Zomer, F., Angal-Kalinin, D., Bliss, N., Clarke, J., Fell, B., Goulden, A., Herbert, J., Jamison, S., Martlew, B., Mcintosh, P., Smith, R., Smith, S.
المساهمون: Laboratoire de l'Accélérateur Linéaire (LAL), Université Paris-Sud - Paris 11 (UP11)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Charles Fabry / Lasers, Laboratoire Charles Fabry (LCF), Université Paris-Sud - Paris 11 (UP11)-Institut d'Optique Graduate School (IOGS)-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-Institut d'Optique Graduate School (IOGS)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Proceedings of IPAC2012 ; International Particle Accelerator Conference - IPAC'12 ; https://hal.in2p3.fr/in2p3-00704883Test ; International Particle Accelerator Conference - IPAC'12, May 2012, New Orleans, United States. pp.1086-1088
مصطلحات موضوعية: [PHYS.PHYS.PHYS-ACC-PH]Physics [physics]/Physics [physics]/Accelerator Physics [physics.acc-ph]
جغرافية الموضوع: New Orleans, United States
العلاقة: in2p3-00704883; https://hal.in2p3.fr/in2p3-00704883Test; https://hal.in2p3.fr/in2p3-00704883/documentTest; https://hal.in2p3.fr/in2p3-00704883/file/tuobb01.pdfTest
-
8مؤتمر
المؤلفون: Vaccarezza, C., Adriani, O., Albergo, S., Alesini, D., Anania, M., Bacci, A., Bedogni, R., Bellaveglia, M., Biscari, C., Boni, R., Boscolo, I., Boscolo, M., Broggi, F., Cardarelli, P., Castellano, M., Catani, L., Chiadroni, E., Cianchi, A., Clozza, A., Curatolo, C., De Martinis, C., Di Domenico, G., Dipasquale, E., Dipirro, G., Drago, A., Esposito, A., Ferrario, M., Gallo, A., Gambaccini, M., Gatti, G., Ghigo, A., Graziani, G., Marcellini, F., Maroli, C., Marziani, M., Mazzitelli, G., Pace, E., Passaleva, G., Pellegrino, L., Petrillo, V., Pompili, R., Ricci, R., Rossi, R., Serio, M., Serafini, L., Sgamma, F., Spataro, B., Stecchi, A., Stella, A., Tomassini, Pascale, Tricomi, A., Veltri, M., Vescovi, S., Villa, F., Ronsivalle, C., Antici, P., Coppola, M., Iarocci, E., Lancia, L., Mostacci, A., Migliorati, M., Nardone, V., Palumbo, L., Chaickovska, I., Dadoun, O., Druon, Frédéric, Fichot, P., Georges, P., Mueller, A., Stocchi, A., Variola, A., Zomer, F., Angal-Kalinin, D., Bliss, N., Clarke, J., Fell, B., Goulden, A., Herbert, J., Jamison, S., Martlew, B., Mcintosh, P., Smith, R., Smith, S.
المساهمون: Laboratoire de l'Accélérateur Linéaire (LAL), Université Paris-Sud - Paris 11 (UP11)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Charles Fabry / Lasers, Laboratoire Charles Fabry (LCF), Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS)-Institut d'Optique Graduate School (IOGS)-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS)-Institut d'Optique Graduate School (IOGS)
المصدر: Proceedings of IPAC2012 ; International Particle Accelerator Conference - IPAC'12 ; http://hal.in2p3.fr/in2p3-00704883Test ; International Particle Accelerator Conference - IPAC'12, May 2012, New Orleans, United States. pp.1086-1088
مصطلحات موضوعية: [PHYS.PHYS.PHYS-ACC-PH]Physics [physics]/Physics [physics]/Accelerator Physics [physics.acc-ph]
جغرافية الموضوع: New Orleans, United States
العلاقة: in2p3-00704883; http://hal.in2p3.fr/in2p3-00704883Test; http://hal.in2p3.fr/in2p3-00704883/documentTest; http://hal.in2p3.fr/in2p3-00704883/file/tuobb01.pdfTest
-
9مؤتمر
المؤلفون: Vaccarezza, C., Adriani, O., Albergo, S., Alesini, D., Anania, M., Bacci, A., Bedogni, R., Bellaveglia, M., Biscari, C., Boni, R., Boscolo, I., Boscolo, M., Broggi, F., Cardarelli, P., Castellano, M., Catani, L., Chiadroni, E., Cianchi, A., Clozza, A., Curatolo, C., de Martinis, C., Di Domenico, G., Dipasquale, E., Dipirro, G., Drago, A., Esposito, A., Ferrario, M., Gallo, A., Gambaccini, M., Gatti, G., Ghigo, A., Graziani, G., Marcellini, F., Maroli, C., Marziani, M., Mazzitelli, G., Pace, E., Passaleva, G., Pellegrino, L., Petrillo, V., Pompili, R., Ricci, R., Rossi, R., Serio, M., Serafini, L., Sgamma, F., Spataro, B., Stecchi, A., Stella, A., Tomassini, Pascale, Tricomi, A., Veltri, M., Vescovi, S., Villa, Francesca, Ronsivalle, C., Antici, P., Coppola, M., Iarocci, E., Lancia, L., Mostacci, A., Migliorati, M., Nardone, V., Palumbo, L., Chaickovska, I., Dadoun, O., Druon, Frédéric, Fichot, P., Georges, P., Mueller, A., Stocchi, A., Variola, A., Zomer, F., Angal-Kalinin, D., Bliss, N., Clarke, J., Fell, B., Goulden, A., Herbert, J., Jamison, S., Martlew, B., Mcintosh, P., Smith, R., Smith, S.
المساهمون: Laboratoire de l'Accélérateur Linéaire (LAL), Université Paris-Sud - Paris 11 (UP11)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Charles Fabry / Lasers, Laboratoire Charles Fabry (LCF), Université Paris-Sud - Paris 11 (UP11)-Institut d'Optique Graduate School (IOGS)-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-Institut d'Optique Graduate School (IOGS)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Proceedings of IPAC2012 ; International Particle Accelerator Conference - IPAC'12 ; https://hal.in2p3.fr/in2p3-00704883Test ; International Particle Accelerator Conference - IPAC'12, May 2012, New Orleans, United States. pp.1086-1088
مصطلحات موضوعية: [PHYS.PHYS.PHYS-ACC-PH]Physics [physics]/Physics [physics]/Accelerator Physics [physics.acc-ph]
جغرافية الموضوع: New Orleans, United States
العلاقة: in2p3-00704883; https://hal.in2p3.fr/in2p3-00704883Test; https://hal.in2p3.fr/in2p3-00704883/documentTest; https://hal.in2p3.fr/in2p3-00704883/file/tuobb01.pdfTest
-
10مؤتمر
المؤلفون: Vaccarezza, C., Adriani, O., Albergo, S., Alesini, D., Anania, M., Bacci, A., Bedogni, R., Bellaveglia, M., Biscari, C., Boni, R., Boscolo, I., Boscolo, M., Broggi, F., Cardarelli, P., Castellano, M., Catani, L., Chiadroni, E., Cianchi, A., Curatolo, C., de Martinis, C., Di Domenico, G., Dipasquale, E., Dipirro, G., Drago, A., Esposito, A., Gallo, A., Gambaccini, M., Gatti, G., Ghigo, A., Graziani, G., Marcellini, F., Maroli, C., Marziani, M., Pace, E., Passaleva, G., Pellegrino, L., Petrillo, V., Pompili, R., Ricci, R., R. Rossi, ., Serio, M., Serafini, L., Sgamma, F., Spataro, B., Stecchi, A., Stella, A., Tomassini, Pascale, Tricomi, A., Veltri, M., Vescovi, S., Villa, Francesca, Antici, P., Coppola, M., Iarocci, E., Lancia, L., Mostacci, A., Migliorati, M., Nardone, V., Palumbo, L., Chaickovska, I., Dadoun, O., Druon, Frédéric, Fichot, P., Georges, Patrick, Mueller, A., Stocchi, A., Variola, A., Zomer, F., Angal-Kalinin, D., Bliss, N., Clarke, J., Fell, B., Goulden, A., Herbert, J., Jamison, S., Martlew, B., Mcintosh, P., Smith, R., Smith, S.
المساهمون: Laboratori Nazionali di Frascati = National Laboratory of Frascati (LNF), Istituto Nazionale di Fisica Nucleare (INFN), Istituto Nazionale di Fisica Nucleare, Sezione di Milano (INFN), Laboratoire de Physique Subatomique et de Cosmologie (LPSC), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Università degli Studi di Roma "La Sapienza" = Sapienza University Rome (UNIROMA), Laboratoire de l'Accélérateur Linéaire (LAL), Université Paris-Sud - Paris 11 (UP11)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Charles Fabry / Lasers, Laboratoire Charles Fabry (LCF), Université Paris-Sud - Paris 11 (UP11)-Institut d'Optique Graduate School (IOGS)-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-Institut d'Optique Graduate School (IOGS)-Centre National de la Recherche Scientifique (CNRS), Dept. Accelerateurs, Université Paris-Sud - Paris 11 (UP11)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)
المصدر: 11th International Topical Meeting on Nuclear Applications of Accelerators (AccApp 13)
https://hal.in2p3.fr/in2p3-01056828Test
11th International Topical Meeting on Nuclear Applications of Accelerators (AccApp 13), Aug 2013, Bruges, Belgium. pp.129-133مصطلحات موضوعية: [PHYS.PHYS.PHYS-ACC-PH]Physics [physics]/Physics [physics]/Accelerator Physics [physics.acc-ph]
العلاقة: in2p3-01056828; https://hal.in2p3.fr/in2p3-01056828Test