Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

ERC

AVS-ISS

Project ID: 648701
Gefördert unter

Analysis, Verification, and Synthesis for Infinite-State Systems

Von 2015-08-01 bis 2020-07-31, Laufendes Projekt

Projektdetails

Gesamtkosten:

EUR 1 834 975

EU-Beitrag:

EUR 1 834 975

Koordiniert in:

United Kingdom

Aufruf zur Vorschlagseinreichung:

ERC-2014-CoGSee other projects for this call

Finanzierungsprogramm:

ERC-COG - Consolidator Grant

Ziel

Gasteinrichtung

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

EU-Beitrag: EUR 1 834 975


University Offices, Wellington Square
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments

Empfänger

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

EU-Beitrag: EUR 1 834 975


University Offices, Wellington Square
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments

To know more

Datensatznummer: 197502 / Zuletzt geändert am: 2015-06-25