23.4.2019 12:10 - 13:00 ICE-TCS seminar: Georgiana Caltais

Correctness of an ATL Model Transformation from SysML to Spin

Correctness of an ATL Model Transformation from SysML to Spin

 

3.5.2019 13:00 - 17:00 ICE-TCS Theory Day 2019

3 May 2019, Reykjavik, Iceland

3 May 2019, Reykjavik, Iceland

 

22.6.2019 Háskólinn í Reykjavík Brautskráning

Háskólinn í Reykjavík brautskráir kandídata þann 22. júní 2019

Háskólinn í Reykjavík brautskráir kandídata þann 22. júní 2019.