Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ERC

LiveSoft

Project ID: 617805
Finanziato nell'ambito di

Lightweight Verification of Software

Dal 2014-07-01 al 2019-06-30, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 999 320

Contributo UE:

EUR 1 999 320

Coordinato in:

Germany

Invito a presentare proposte:

ERC-2013-CoGSee other projects for this call

Meccanismo di finanziamento:

ERC-CG - ERC Consolidator Grants

Obiettivo

Informazioni correlate

Ricercatore principale

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

Istituzione ospitante

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

Contributo UE: EUR 1 999 320


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

Contact the organisation

Beneficiari

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

Contributo UE: EUR 1 999 320


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

Contact the organisation

To know more