-
. To explore and investigate this topic, the project will combine formal methods, programming language theory and semantic technologies, aiming to develop systematic techniques for handling protected data
-
. SIRIUS Labs conducts high-impact interdisciplinary research in the areas of information modelling, formal ontology, and digital engineering. The main research initiative of SIRIUS Labs is the development
-
explore techniques to handle protected data in digital twin architectures. To explore and investigate this topic, the project will combine formal methods, programming language theory and semantic
-
of information modelling, formal ontology, and digital engineering. The main research initiative of SIRIUS Labs is the development of the Information Modelling Framework (IMF: https://www.imfid.org) - a logic