English version of this page

Analytiske Systemer og Resonnering (ASR)

Om gruppen

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", Database

Les mer

Publisert 8. nov. 2018 12:30 - Sist endret 8. aug. 2019 09:00