Domain-Specific Reasoning in IoT Applications

01.02.2019 - 31.01.2020
Research funding project

People

Project leader

Institute

Grant funds

  • Vereine, Stiftungen, Preise

Research focus

  • Logic and Computation: 100%

Publications