English version of this page

Analytiske Systemer og Resonnering (ASR)

Forskning

Alt vi jobber med i ASR er relatert til en eller flere av disse forskningsfeltene:


Modellering

Ontologier, "Active Objects", Omskrivningslogikk

Les mer


Analyse

Simulering, Verifikasjon, Teorembevis, Modellsjekking, Statisk analyse

Les mer


Modelldrevne informasjonssystemer

Semantiske teknologier, Dataintegrasjon, "Data Access", Databaser

Les mer

Undervisning

ASR underviser i følgende emner.

Vår

Høst

Publisert 8. nov. 2018 12:30 - Sist endret 20. mars 2020 13:29