CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Resultado final
The plan describes the planned measures to maximize the impact of the project, including the dissemination and exploitation measures that are planned, and the target group(s) addressed. Regarding communication measures and public engagement strategy, the aim is to inform and reach out to society and show the activities performed, and the use and the benefits the project will have for citizens.
The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how it will be curated and preserved.
Publicaciones
Autores:
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
Publicado en:
Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2025
Editor:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-78750-8_4
Autores:
Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
Publicado en:
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), 2025
Editor:
IEEE
DOI:
10.1109/FORMALISE66629.2025.00010
Autores:
Jonathan Julián Huerta y Munive; Simon Foster; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman
Publicado en:
Journal of Automated Reasoning, 2024, ISSN 1573-0670
Editor:
Springer
DOI:
10.1007/S10817-024-09709-2
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles