Forskning

Morten Kühnrich

Presse/medie

Beskrivelse

For afhandlingen med titlen 'Tilgange til formel verifikation: Type, teori, modelcheck og procesalgebra' er Morten Kühnrich blevet tildelt ph.d.-graden ved Institut for Datalogi ved Aalborg Universitet. Afhandlingen beskriver forskellige tilgange til formel verifikation af sikkerhedskritiske systemer.

Periode	4 feb. 2011

Mediedækning

Titel	FORSKNING (Helside)
Mediets navn/udløb	Nordjyske Stiftstidende By & Liv Aalborg
Varighed/længde/størrelse	21
Dato	04/02/2011
URL	images.infopaq.dk/pdf/page.aspx?art=iY7NC4meidN6ZVACE%2b7TCQ%3d%3d
Personer	Morten Kühnrich

Titel	FORSKNING (Udklip)
Mediets navn/udløb	Nordjyske Stiftstidende By & Liv Aalborg
Varighed/længde/størrelse	21
Dato	04/02/2011
URL	images.infopaq.dk/pdf/eclip.aspx?art=iY7NC4meidN6ZVACE%2b7TCQ%3d%3d
Personer	Morten Kühnrich

Titel	FORSKNING: (Helside)
Mediets navn/udløb	Nordjyske Stiftstidende By & Liv Himmerland
Varighed/længde/størrelse	21
Dato	04/02/2011
URL	images.infopaq.dk/pdf/page.aspx?art=8L4PpYn5yVO2gPaoO%2bwLyA%3d%3d
Personer	Morten Kühnrich

Titel	FORSKNING: (Udklip)
Mediets navn/udløb	Nordjyske Stiftstidende By & Liv Himmerland
Varighed/længde/størrelse	21
Dato	04/02/2011
URL	images.infopaq.dk/pdf/eclip.aspx?art=8L4PpYn5yVO2gPaoO%2bwLyA%3d%3d
Personer	Morten Kühnrich

Titel	FORSKNING: (Helside)
Mediets navn/udløb	Thisted Dagblad Sektion 1
Varighed/længde/størrelse	21
Dato	04/02/2011
URL	images.infopaq.dk/pdf/page.aspx?art=pAJ5WFeA7GtW8Zn192B1tQ%3d%3d
Personer	Morten Kühnrich

Titel	FORSKNING: (Udklip)
Mediets navn/udløb	Thisted Dagblad Sektion 1
Varighed/længde/størrelse	21
Dato	04/02/2011
URL	images.infopaq.dk/pdf/eclip.aspx?art=pAJ5WFeA7GtW8Zn192B1tQ%3d%3d
Personer	Morten Kühnrich

Se alle 6

Se færre