Semantic Assistance for Industrial Automation Based on Contracts and Verification

Dominik Hurnaus

Research output: Thesis › Doctoral thesis

Original languageEnglish
Publication statusPublished - Oct 2009

Fields of science

  • 102 Computer Sciences
  • 102009 Computer simulation
  • 102011 Formal languages
  • 102013 Human-computer interaction
  • 102029 Practical computer science
  • 102022 Software development
  • 102024 Usability research

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

  • SDG 9 - Industry, Innovation, and Infrastructure

Cite this