Forschungsportal

Lehre Forschung Organisation

Symbol Elimination in Reliable System Engineering

01.06.2019 - 30.11.2020

Forschungsförderungsprojekt

Personen

Projektleiter_in

Univ.Prof.in Dr.in techn. Laura Kovacs MSc (E192-04)

Institut

E192-04 - Forschungsbereich Formal Methods in Systems Engineering

Förderungsmittel

European Commission (EU)

Forschungsschwerpunkte

Information and Communication Technology

Support | Policies | Impressum | Datenschutz

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