Automated Synthesis of Cyber-Physical Systems: A Compositional Approach

Project description

Formal synthesis of embedded control software

Fields of science

• natural sciences › computer and information sciences › software › software applications › system software

Programme(s)

• H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)

Topic(s)

• ERC-2018-STG - ERC Starting Grant

Call for proposal

ERC-2018-STG
See other projects for this call

Funding Scheme

ERC-STG - Starting Grant

Host institution

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN

Address

Geschwister Scholl Platz 1
80539 Muenchen
Germany

Activity type

Higher or Secondary Education Establishments

Links

EU contribution

€ 1 470 800

Beneficiaries (1)

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN

Germany

EU contribution

€ 1 470 800

Address

Geschwister Scholl Platz 1
80539 Muenchen

Activity type

Higher or Secondary Education Establishments

Links