Symbol Elimination in Reliable System Engineering

01.06.2019 - 30.11.2020
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Grant funds

  • European Commission (EU) H2020 I.1. ERC European Research Council Pillar Excellent Science Framework programme Horizon 2020 European Commission Call identifier ERC-2018-PoC Application number 842066

Forschungsschwerpunkte

  • Logic and Computation: 100%

Publikationen