Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

ERC

LiveSoft

Project ID: 617805
Financé au titre de

Lightweight Verification of Software

De 2014-07-01 à 2019-06-30, projet en cours

Détails concernant le projet

Coût total:

EUR 1 999 320

Contribution de l'UE:

EUR 1 999 320

Coordonné à/au(x)/en:

Germany

Appel à propositions:

ERC-2013-CoGSee other projects for this call

Régime de financement:

ERC-CG - ERC Consolidator Grants

Objectif

Informations connexes

Chercheur principal

Patrick Thomas Eugster
Tél.: +1 7654137764
Fax: +17654940739
E-mail

Institution d'accueil

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

Contribution de l'UE: EUR 1 999 320


Karolinenplatz 5
64289 DARMSTADT
Germany
Activity type: Higher or Secondary Education Establishments
Contact administratif: Melanie Meermann-Zimmermann
Tél.: +49 6151 16 75972
Fax: +49 6151 16 2478

Contact the organisation

Bénéficiaires

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

Contribution de l'UE: EUR 1 999 320


Karolinenplatz 5
64289 DARMSTADT
Germany
Activity type: Higher or Secondary Education Establishments
Contact administratif: Melanie Meermann-Zimmermann
Tél.: +49 6151 16 75972
Fax: +49 6151 16 2478

Contact the organisation

To know more