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