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

Zaproszenie do składania wniosków:

ERC-2014-CoGSee other projects for this call

System finansowania:

ERC-COG - Consolidator Grant

Cel

To know more

Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę