Skip to main content

Safety Analysis of Concurrent Systems

Project description

Finding errors in concurrent software

Call for proposal

ERC-2020-PoC
See other projects for this call

Funding Scheme

ERC-POC-LS - ERC Proof of Concept Lump Sum Pilot

Host institution

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Address
Templergraben 55
52062 Aachen
Germany
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 150 000

Beneficiaries (1)

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany
EU contribution
€ 150 000
Address
Templergraben 55
52062 Aachen
Activity type
Higher or Secondary Education Establishments