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 |
Leitung: | Dr.-Ing. Markus Olbrich |
Team: | Malgorzata Rechmal |
Jahr: | 2019 |
Förderung: | DFG |
Laufzeit: | März 2017 - Februar 2020 |