Ensuring European ECS Value Chain Sovereignty through Shaping the Future of ECS for Automotive Applications

Informazioni relative al progetto

ShapeFuture

ID dell’accordo di sovvenzione: 101139996

DOI

10.3030/101139996

Data della firma CE 9 Luglio 2024

Data di avvio 1 Maggio 2024

Data di completamento 30 Aprile 2027

Finanziato da

• Digital, Industry and Space

Costo totale

€ 33 956 408,75

Contributo UE

€ 10 016 584,63

Coordinato da

INFINEON TECHNOLOGIES AG
Germany

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (1)

Open Challenges in the Formal Verification of Autonomous Driving

Autori: Paolo Burgio; Angelo Ferrando; Marco Villani
Pubblicato in: Electronic Proceedings in Theoretical Computer Science, 2024, ISSN 2075-2180
Editore: MDPI
DOI: 10.48550/ARXIV.2411.14520