Aarhus Universitets logo
Find den lokale medarbejderportal for dit institut eller område.
English
Tilbage til søgning
Softwarespecifikation og -verifikation, Eksperimentel systemudvikling, Kapacitetsplanlægning, Modeldrevet systemudvikling, Modellering og validering af distribuerede systemer (Farvede Petri Net), Programmeringssprog og formelle modeller, Simulations- og analyseværktøjer
Softwarespecifikation og -verifikation, Kompilere og fortolkere, Programanalyse og -transformationer, Programmeringssprog og formelle modeller, Webteknologi
Softwarespecifikation og -verifikation, Design og analyse af algoritmer og datastrukturer, Formal methods , Formal verification