Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

ERC

LiveSoft

Project ID: 617805
Financiado con arreglo a

Lightweight Verification of Software

Desde 2014-07-01 hasta 2019-06-30, proyecto en curso

Detalles del proyecto

Coste total:

EUR 1 999 320

Aportación de la UE:

EUR 1 999 320

Coordinado en:

Germany

Convocatoria de propuestas:

ERC-2013-CoGSee other projects for this call

Régimen de financiación:

ERC-CG - ERC Consolidator Grants

Objetivo

Información relacionada

Investigador principal

Patrick Thomas Eugster
Tel.: +1 7654137764
Fax: +17654940739
Correo electrónico

Institución de acogida

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

Aportación de la UE: EUR 1 999 320


KAROLINENPLATZ 5
64289 DARMSTADT
Germany
Activity type: Higher or Secondary Education Establishments
Contacto administrativo: Melanie Meermann-Zimmermann
Tel.: +49 6151 16 75972
Fax: +49 6151 16 2478
Correo electrónico

Beneficiarios

TECHNISCHE UNIVERSITAT DARMSTADT
Germany

Aportación de la UE: EUR 1 999 320


KAROLINENPLATZ 5
64289 DARMSTADT
Germany
Activity type: Higher or Secondary Education Establishments
Contacto administrativo: Melanie Meermann-Zimmermann
Tel.: +49 6151 16 75972
Fax: +49 6151 16 2478
Correo electrónico

To know more

Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba