Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Domain-Specific Reasoning in IoT Applications
01.02.2019 - 31.01.2020
Forschungsförderungsprojekt
Personen
Projektleiter_in
Laura Kovacs
(E192-04)
Institut
E192-04 - Research Unit of Formal Methods in Systems Engineering
Grant funds
Vereine, Stiftungen, Preise
Forschungsschwerpunkte
Logic and Computation: 100%
Publikationen
Publikationsliste