-
. 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
-
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
-
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
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions