Explore projects

Provides a demonstrator that enables showing off / testing consistency checking between/on model data from BaSys AAS submodels (via BaSyx interface) and from OPC UA servers

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)