Prøveforelesning: Nils Kalstad Svendsen

siv.ing. Nils Kalstad Svendsen ved Institutt for informatikk avholder prøveforelesning over oppgitt emne: On the limitations of formal methods and their validation for proactive event description in CIP

Tid og sted: 17. juni 2008 10:15, Auditoriet, UniK, Instituttveien 25, Kjeller

Disputas

Se disputas

Kontaktperson

For mer informasjon, kontakt Lena Korsnes.

Publisert 11. apr. 2012 11:33