Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

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

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.

Veröffentlichungen

Open Challenges in the Formal Verification of Autonomous Driving (öffnet in neuem Fenster)

Autoren: Paolo Burgio; Angelo Ferrando; Marco Villani
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, 2024, ISSN 2075-2180
Herausgeber: MDPI
DOI: 10.48550/ARXIV.2411.14520

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0