Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Research unit profile
TU-Wien
>
Institut für Logic and Computation
>
Fakultät für Informatik
>
Institut für Logic and Computation
>
Forschungsbereich Formal Methods in Systems Engineering
E192-04
Forschungsbereich Formal Methods in Systems Engineering
Manager
Univ.Prof.in Dr.in techn. MSc Laura Kovacs
Overview
Concept (German)
..
Concept (English)
..
Website
xx
People
Title
Surname
First name
Buhl
Beatrix
Univ.Ass. BSc MSc
Chimes
Mark Jonathan
Projektass.(FWF) MSc
Coutelier
Robin
Univ.Ass. Dipl.-Ing. BSc
Eisenhofer
Clemens
Assistant Prof. Dipl.-Ing.in Dr.in techn.
Fazekas
Katalin
B.A. M.A.
Hackl
Andrea
Univ.Ass. Dipl.-Ing. BSc BSc
Hader
Thomas
Projektass. Dipl.-Ing. BSc
Hajdu
Marton
Projektass.(FWF) Dipl.-Ing. BSc
Hetzenberger
Matthias
Projektass.in(FWF) Dipl.-Ing.in Dr.in techn.
Kaufmann
Daniela
Privatdoz. PhD
Konnov
Igor
Univ.Ass. MSc
Nießen
Tobias
Nitzschke
Matthias
Univ.Ass. MSc
Pluska
Alexander
Univ.Ass. Dr.techn. MSc
Rebola Pardo
Adrian
Projektass.in MSc
Sallinger
Sarah Sophie
Projektass.(FWF) Dipl.-Ing. BSc
Schoisswohl
Johannes
Univ.Ass. MSc
Sextl
Florian
Univ.Ass. MSc
Varonka
Anton
Univ.Ass. Dipl.-Ing.in BSc
Wagner
Eva Maria
Univ.Prof. Dipl.-Ing. D.Phil.
Weissenbacher
Georg
Associate Prof. Dipl.-Math. Dr.techn.
Zuleger
Florian
F
P
1
N
E