CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Livrables
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
Auteurs:
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
Publié dans:
Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2025
Éditeur:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-78750-8_4
Auteurs:
Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
Publié dans:
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), 2025
Éditeur:
IEEE
DOI:
10.1109/FORMALISE66629.2025.00010
Auteurs:
Jonathan Julián Huerta y Munive; Simon Foster; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman
Publié dans:
Journal of Automated Reasoning, 2024, ISSN 1573-0670
Éditeur:
Springer
DOI:
10.1007/S10817-024-09709-2
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible