Research Portal

Lehre Forschung Organisation

Person profile

Affiliations
Keywords

Research area

Name	Management/Member
Research Unit of Formal Methods in Systems Engineering	Member

Keywords

Keyword (German)	Keyword (English)
Software Produktlinien	Software Product Lines
Automated Reasoning	Automated Reasoning
Formale Methoden	Formal Methods
Software Verifikation	Software Verification
Computationale Logik	Computational Logic

Area of expertise according to Statistik Austria

Code	Area of expertise (German)	Area of expertise (English)
1140	Software-Engineering	Software engineering
1111	Logik	Logic
1108	Informatik	Informatics

Support | Policies | Legal Notice | Data Privacy

TU Wien - Karlsplatz 13 | A-1040 Vienna | phone +43 (1) 58801-0