Community Research and Development Information Service - CORDIS

Parametrized Verification and Synthesis

From 2018-09-01 to 2023-08-31, Grant Agreement signed

Project details

Total cost:

EUR 2 354 000

EU contribution:

EUR 2 354 000

Coordinated in:

Germany

Call for proposal:

ERC-2017-ADGSee other projects for this call

Funding scheme:

ERC-ADG - Advanced Grant

Objective

Host Institution

TECHNISCHE UNIVERSITAET MUENCHEN
Germany

EU contribution: EUR 2 354 000


Arcisstrasse 21
80333 MUENCHEN
Germany
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Beneficiaries

TECHNISCHE UNIVERSITAET MUENCHEN
Germany

EU contribution: EUR 2 354 000


Arcisstrasse 21
80333 MUENCHEN
Germany
Activity type: Higher or Secondary Education Establishments

Contact the organisation

To know more

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top