Formal Verification of Analog AI Hardware (FAI)
| Led by: | Dr.-Ing. Markus Olbrich |
| Team: | Thomas Bartelsmeier |
| Year: | 2022 |
| Funding: | DFG |
| Duration: | 1.7.2022-30.6.2025 |
Last Change: 24.04.25
| Led by: | Dr.-Ing. Markus Olbrich |
| Team: | Thomas Bartelsmeier |
| Year: | 2022 |
| Funding: | DFG |
| Duration: | 1.7.2022-30.6.2025 |
Last Change: 24.04.25