Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

ERC

AVS-ISS

Project ID: 648701
Źródło dofinansowania

Analysis, Verification, and Synthesis for Infinite-State Systems

Od 2015-08-01 do 2020-07-31, projekt w toku

Dane projektu

Całkowity koszt:

EUR 1 834 975

Wkład UE:

EUR 1 834 975

Kraj koordynujący:

United Kingdom

Zaproszenie do składania wniosków:

ERC-2014-CoGSee other projects for this call

System finansowania:

ERC-COG - Consolidator Grant

Cel

Instytucja przyjmująca

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

Wkład UE: EUR 1 834 975


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

Beneficjenci

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

Wkład UE: EUR 1 834 975


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

To know more

Numer rekordu: 197502 / Ostatnia aktualizacja: 2015-06-25