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- |