Projekte Forschungsbereich Compilers and Languages

Laufende Projekte

Titel	Beginn	Ende	Orgeinheit
Cacao	01.03.1996	30.09.2025	E194-05
Formale Verifizierung tiefer neuronaler Netze für Codekonvertierungsanwendungen	01.02.2024	31.01.2027	E194-05

Support | Policies | Impressum | Datenschutz

Technische Universität Wien - Karlsplatz 13 | 1040 Wien, Österreich | Tel. +43-1-58801-0 | Fax +43-1-58801-41088