CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
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.
Publications
Author(s):
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
Published in:
Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2025
Publisher:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-78750-8_4
Author(s):
Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
Published in:
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), 2025
Publisher:
IEEE
DOI:
10.1109/FORMALISE66629.2025.00010
Author(s):
Jonathan Julián Huerta y Munive; Simon Foster; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman
Published in:
Journal of Automated Reasoning, 2024, ISSN 1573-0670
Publisher:
Springer
DOI:
10.1007/S10817-024-09709-2
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available