Forschungsportal

Lehre Forschung Organisation

Personenprofil

Univ.Ass.

Juliane Linda Päßler

PhD

Telefon

E-Mailjuliane.paessler@tuwien.ac.at

Zugeordnet

E192-04

Visitenkarte

https://orcid.org/0000-0001-8515-1809

Zugehörigkeit
Keywords

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering	Mitglied

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Software Produktlinien	Software Product Lines
Automated Reasoning	Automated Reasoning
Formale Methoden	Formal Methods
Software Verifikation	Software Verification
Computationale Logik	Computational Logic

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1140	Software-Engineering	Software engineering
1111	Logik	Logic
1108	Informatik	Informatics

Support | Policies | Impressum | Datenschutz

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