ForschungForschungsprojekte
Formal Abstraction and Verification of Analog Circuits (faveAC)

Formal Abstraction and Verification of Analog Circuits (faveAC)

Leaders:  Dr.-Ing. Markus Olbrich
Team:  Malgorzata Rechmal
Year:  2019
Sponsors:  DFG
Lifespan:  März 2017 - Februar 2020