Leibniz Universität Hannover Faculty Faculty of Electrical Engineering and Computer Science
Deutsch Contact Deutsch
Institute of Microelectronic Systems
 
Institute of Microelectronic Systems Research
Formal Abstraction and Verification of Analog Circuits (faveAC)

Formal Abstraction and Verification of Analog Circuits (faveAC)

Led by:  Dr.-Ing. Markus Olbrich
Team:  Malgorzata Rechmal
Year:  2019
Funding:  DFG
Duration:  März 2017 - Februar 2020
Back

Last Change: 28.02.24 Print

Contact us
Contact