is Íslenska en English

Ritgerðir með leiðbeinandann 'Anna Ingólfsdóttir 1952-'

Háskólinn í Reykjavík > Tæknisvið / School of Technology > MSc Tölvunarfræðideild / Department of Computer Science > Leiðbeinendur >
Leiðbeinendur 1 til 3 af 3
Fletta
SamþykktRaða eftir:SamþykktTitillRaða eftir:TitillHöfundur(ar)
7.9.2017A data driven analysis of clusters using UPPAALJón Friðrik Jónatansson 1987-
11.3.2014Towards model checking BSV in UppaalHörður Hauksson 1957-
31.8.2017Work on new event sources for detectErGuðmundur Stefánsson 1992-