Analytical Solutions and Reasoning (ASR)
About the group
The members of the ASR group work on these three research areas:
Modeling
Ontologies, Active Objects, Rewriting Logic
Analysis
Simulation, Verification, Theorem Proving, Model Checking, Static Analysis
Model-driven Information Systems
Semantic Technologies, Data Integration, Data Access, Databases
Published July 10, 2011 11:25 AM
- Last modified Mar. 2, 2022 3:55 PM