English version of this page

Presis modellering og analyse (PMA)

Forskningsgruppen arbeider med følgende tema:

  • åpne distribuerte systemer
  • trådløse nettverk, inklusive sensor nettverk
  • objektorienterte og funksjonelle språk
  • språk for spesifikasjon og modellering
  • spesifikasjon, modellering, forfining og verifikasjon
  • sikkerhet og sårbarhet
  • logikk og automatisk bevissøk

Gruppen var initiert av professor Ole-Johan Dahl
   

Gruppen tok initiativet til og var vert for tildeling av æresdoktor til Donald Knuth, 2002.

 

Publisert 9. nov. 2010 09:27 - Sist endret 8. nov. 2017 15:22

Kontakt

Gruppeleder Olaf Owe