-
. 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
-
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
-
interdisciplinary research in the areas of information modelling, formal ontology, and digital engineering. The main research initiative of SIRIUS Labs is the development of the Information Modelling Framework (IMF
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions