Íslenska
Aðilar að Skemmunni
Mín stofnun
Leit eftir:
Mín stofnun
24.145
4.098
1.304
4.076
1.846
Ritgerðir með leiðbeinandann 'Anna Ingólfsdóttir 1952-'
í allri Skemmunni > Leiðbeinendur >
Leiðbeinendur
1 til 5 af 5
Samþykkt | Titill | Höfundur(ar) |
|---|---|---|
| 10.4.2014 | Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics | Caltais, Georgiana, 1984- |
| 12.9.2012 | Contributions to the meta-theory of structural operational semantics | Cimini, Matteo, 1981- |
| 7.9.2017 | A data driven analysis of clusters using UPPAAL | Jón Friðrik Jónatansson 1987- |
| 11.3.2014 | Towards model checking BSV in Uppaal | Hörður Hauksson 1957- |
| 31.8.2017 | Work on new event sources for detectEr | Guðmundur Stefánsson 1992- |