Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

ERC

LiveSoft

Project ID: 617805
Gefördert unter

Lightweight Verification of Software

Von 2014-07-01 bis 2019-06-30, Laufendes Projekt

Projektdetails

Gesamtkosten:

EUR 1 999 320

EU-Beitrag:

EUR 1 999 320

Koordiniert in:

Germany

Aufruf zur Vorschlagseinreichung:

ERC-2013-CoGSee other projects for this call

Finanzierungsprogramm:

ERC-CG - ERC Consolidator Grants

Ziel

Verwandte Informationen

Hauptforscher

Patrick Thomas Eugster
Tel.: +1 7654137764
Fax: +17654940739
E-Mail-Adresse

Gasteinrichtung

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

EU-Beitrag: EUR 1 999 320


KAROLINENPLATZ 5
64289 DARMSTADT
Germany
Activity type: Higher or Secondary Education Establishments
Administrative Kontaktangaben: Melanie Meermann-Zimmermann
Tel.: +49 6151 16 75972
Fax: +49 6151 16 2478

Contact the organisation

Empfänger

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

EU-Beitrag: EUR 1 999 320


KAROLINENPLATZ 5
64289 DARMSTADT
Germany
Activity type: Higher or Secondary Education Establishments
Administrative Kontaktangaben: Melanie Meermann-Zimmermann
Tel.: +49 6151 16 75972
Fax: +49 6151 16 2478

Contact the organisation

To know more

Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben