-
1تقرير
مصطلحات موضوعية: Computer Science - Software Engineering
الوصول الحر: http://arxiv.org/abs/2403.03083Test
-
2
-
3تقرير
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Software Engineering
الوصول الحر: http://arxiv.org/abs/2306.02983Test
-
4تقرير
-
5تقرير
-
6مؤتمر
المؤلفون: Adedjouma, Morayo, Lapitre, Arnault, Samb, Sokhna
المساهمون: 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)
المصدر: Human multi-Robot Interaction Workshop ; https://hal.science/hal-04479741Test ; Human multi-Robot Interaction Workshop, Oct 2023, Detroit (Michigan), United States
مصطلحات موضوعية: Human-Robot Interactions runtime supervision dynamic safety assessment, Human-Robot Interactions, runtime supervision, dynamic safety assessment, [INFO]Computer Science [cs]
جغرافية الموضوع: Detroit (Michigan), United States
العلاقة: hal-04479741; https://hal.science/hal-04479741Test; https://hal.science/hal-04479741/documentTest; https://hal.science/hal-04479741/file/IEEE_IROS__HRMI_2023_ADEDJOUMA_CAMERA_READY-1.pdfTest
-
7دورية أكاديمية
المساهمون: 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: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 -
8مؤتمر
المساهمون: 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 Exigences et Conformité des Systèmes (LECS), 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)), CentraleSupélec Université Paris-Saclay, Nico Plat, Stefania Gnesi, Carlo A. Furia, Antonia Lopes
المصدر: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE ; FormaliSE '24 -the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering ; https://cea.hal.science/cea-04604956Test ; FormaliSE '24 -the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, Apr 2024, Lisbonne, Portugal. pp.12-22, ⟨10.1145/3644033.3644382⟩ ; https://dl.acm.org/doi/10.1145/3644033.3644382Test
العلاقة: cea-04604956; https://cea.hal.science/cea-04604956Test; https://cea.hal.science/cea-04604956/documentTest; https://cea.hal.science/cea-04604956/file/paper_nfa_generation_formalise2024_camera_readyfinal.pdfTest
الإتاحة: https://doi.org/10.1145/3644033.3644382Test
https://cea.hal.science/cea-04604956Test
https://cea.hal.science/cea-04604956/documentTest
https://cea.hal.science/cea-04604956/file/paper_nfa_generation_formalise2024_camera_readyfinal.pdfTest -
9كتاب
المؤلفون: Bannour, Boutheina, Lapitre, Arnault, Gall, Pascale Le, Nguyen, Thang
المصدر: Formal Aspects of Component Software ; Lecture Notes in Computer Science ; page 3-22 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031521829 9783031521836
-
10مؤتمر
المساهمون: 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 Exigences et Conformité des Systèmes (LECS), 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)), PES R&D Department, RTE, European Project: 826276,CPS4EU(2019)
المصدر: SEKE 2021 - THe 33rd International Conference Software Engineering & Knowledge Engineering ; https://cea.hal.science/cea-03256511Test ; SEKE 2021 - THe 33rd International Conference Software Engineering & Knowledge Engineering, Jul 2021, Pittsburgh (Virtual conference), United States. ⟨10.18293/SEKE2021-147⟩ ; ksiresearch.org/seke/seke21.html
مصطلحات موضوعية: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.2: Methodologies (e.g., object-oriented, structured), ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
جغرافية الموضوع: United States
الوقت: Pittsburgh (Virtual conference), United States
العلاقة: info:eu-repo/grantAgreement//826276/EU/Applying CPS technologies in modern manufacturing/CPS4EU; cea-03256511; https://cea.hal.science/cea-03256511Test; https://cea.hal.science/cea-03256511/documentTest; https://cea.hal.science/cea-03256511/file/paper147.pdfTest
الإتاحة: https://doi.org/10.18293/SEKE2021-147Test
https://cea.hal.science/cea-03256511Test
https://cea.hal.science/cea-03256511/documentTest
https://cea.hal.science/cea-03256511/file/paper147.pdfTest