Norwegian version of this page

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

Read more


Analysis

Simulation, Verification, Theorem Proving, Model Checking, Static Analysis

Read more


Model-driven Information Systems

Semantic Technologies, Data Integration, Data Access, Databases

Read more

Published July 10, 2011 11:25 AM - Last modified Aug. 8, 2019 9:01 AM