Formale Verifikation von analoger AI-Hardware (FAI)
| Leitung: | Dr.-Ing. Markus Olbrich |
| Team: | Thomas Bartelsmeier |
| Jahr: | 2022 |
| Förderung: | DFG |
| Laufzeit: | 1.7.2022-30.6.2025 |
| Ist abgeschlossen: | ja |
Letzte Änderung: 07.01.26
