Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Wortbasiertes Reasoning mit Computeralgebra und SAT
01.06.2024 - 31.05.2027
Forschungsförderungsprojekt
Personen
Projektleiter_in
Projektass.in(FWF) Dipl.-Ing.in Dr.in techn. Daniela Kaufmann
(E192-04)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Forschungsschwerpunkte
Information and Communication Technology