Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
AutoTest
01.04.2020 - 31.03.2021
Research funding project
People
Project leader
Georg Weissenbacher
(E192-04)
Institute
E192-04 - Research Unit of Formal Methods in Systems Engineering
Grant funds
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National)
Vienna Science and Technology Fund (WWTF)
Research focus
Logic and Computation: 100%
Publications
Publications