المؤلفون: Boitier, William, Del Pozzo, Antonella, García-Pérez, Álvaro, Gazut, Stephane, Jobic, Pierre, Lemaire, Alexis, Mahe, Erwan, Mayoue, Aurelien, Perion, Maxence, Singh, Deepika, Rezende, Tuanir Franca, Tucci-Piergiovanni, Sara

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Distributed, Parallel, and Cluster Computing

الوصول الحر: http://arxiv.org/abs/2406.03608Test

المؤلفون: Mahe, Erwan, Abdallah, Rouwaida, Tucci-Piergiovanni, Sara, Piriou, Pierre-Yves

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Multiagent Systems

الوصول الحر: http://arxiv.org/abs/2403.14342Test

المؤلفون: Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le

مصطلحات موضوعية: Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/2403.03083Test

المؤلفون: Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Gall, Pascale Le

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

الوصول الحر: http://arxiv.org/abs/2403.03057Test

المؤلفون: Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/2306.02983Test

المؤلفون: Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

الوصول الحر: http://arxiv.org/abs/2212.09324Test

المؤلفون: Mahe, Erwan, Gaston, Christophe, Gall, Pascale Le

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2105.00208Test

المؤلفون: Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Gall, Pascale Le

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

الوصول الحر: http://arxiv.org/abs/2009.01777Test

المؤلفون: Mahe, Erwan, Gaston, Christophe, Gall, Pascale Le

مصطلحات موضوعية: Computer Science - Software Engineering

الوصول الحر: http://arxiv.org/abs/1911.03094Test

المؤلفون: Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Le Gall, Pascale

المساهمون: Laboratoire Exigences et Conformité des Systèmes (LECS), Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay, European Project: 101069748,SELFY

المصدر: ISSN: 0302-9743 ; Lecture Notes in Computer Science ; https://cea.hal.science/cea-04228010Test ; Lecture Notes in Computer Science, 2023, Fundamentals of Software Engineering, 14155, pp.88-103. ⟨10.1007/978-3-031-42441-0_7⟩ ; https://link.springer.com/chapter/10.1007/978-3-031-42441-0_7Test.

مصطلحات موضوعية: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

العلاقة: info:eu-repo/grantAgreement//101069748/EU/Toolbox for more secure, robust and resilient connected vehicles - DOI 10.3030/101069748/SELFY; cea-04228010; https://cea.hal.science/cea-04228010Test; https://cea.hal.science/cea-04228010/documentTest; https://cea.hal.science/cea-04228010/file/fsen_2023_camera_ready_map.pdfTest

الإتاحة: https://doi.org/10.1007/978-3-031-42441-0_7Test
https://cea.hal.science/cea-04228010Test
https://cea.hal.science/cea-04228010/documentTest
https://cea.hal.science/cea-04228010/file/fsen_2023_camera_ready_map.pdfTest