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 |
Letzte Änderung: 13.11.24
| Leitung: | Dr.-Ing. Markus Olbrich |
| Team: | Thomas Bartelsmeier |
| Jahr: | 2022 |
| Förderung: | DFG |
| Laufzeit: | 1.7.2022-30.6.2025 |
Letzte Änderung: 13.11.24