ForschungForschungsprojekte
Formal Abstraction and Verification of Analog Circuits (faveAC)

Formal Abstraction and Verification of Analog Circuits (faveAC)

Leitung:  Dr.-Ing. Markus Olbrich
Team:  Malgorzata Rechmal
Jahr:  2019
Förderung:  DFG
Laufzeit:  März 2017 - Februar 2020