CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Leistungen
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.
Veröffentlichungen
Autoren:
Leonardo Lima, Jonathan Julián Huerta y Munive, Dmitriy Traytel
Veröffentlicht in:
Lecture Notes in Computer Science, Automated Technology for Verification and Analysis, 2025
Herausgeber:
Springer Nature Switzerland
DOI:
10.1007/978-3-031-78750-8_4
Autoren:
Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
Veröffentlicht in:
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE), 2025
Herausgeber:
IEEE
DOI:
10.1109/FORMALISE66629.2025.00010
Autoren:
Jonathan Julián Huerta y Munive; Simon Foster; Mario Gleirscher; Georg Struth; Christian Pardillo Laursen; Thomas Hickman
Veröffentlicht in:
Journal of Automated Reasoning, 2024, ISSN 1573-0670
Herausgeber:
Springer
DOI:
10.1007/S10817-024-09709-2
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor