research
∙
11/05/2021
Digital Twin-Assisted Controlling of AGVs in Flexible Manufacturing Environments
Digital Twins are increasingly being introduced for smart manufacturing ...
share
research
∙
01/20/2020
Towards Digital Twins for the Description of Automotive Software Systems
We present models for automotive software that capture quantitative and ...
research
∙
07/05/2018
Towards Classification of Lightweight Formal Methods
The use of lightweight formal methods (LFM) for the development of indus...
research
∙
02/06/2018
On Decision Support for Remote Industrial Facilities using the Collaborative Engineering Framework
Means to support collaboration for remote industrial facilities such as ...
research
∙
11/16/2017
Towards a Cloud-based Architecture for Visualization and Augmented Reality to Support Collaboration in Manufacturing Automation
In this report, we present our work in visualization and augmented reali...
research
∙
08/01/2016
Example Data Sets and Collections for BeSpaceD Explained
In this report, we present example data sets and collections for the BeS...
research
∙
10/29/2015
