Publikationer (39)

Sortera efter: Datum |
10 | 25 | 50 | 100 
Första sidan Föregående sida2/4 Nästa sida Sista sidan
A Å B C D E F G H I J K L M N O P Q R S T U V W Alla 
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Component-Based Reuse for Event-B (2015)
Andrew Edmunds, Colin Snook, Marina Walden
D4 Publicerad utvecklings- eller forskningsrapport eller studie
TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces (2015)
Iqbal J, Truscan D, Vain J, Porres I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The right to freedom of religion or belief in Turkey: monitoring report January-June 2013 (2014)
Mine Yildirim
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Toisen aallon vapaakunta- ja normipurkukokeilut Tanskassa ja Norjassa. (2014)
Siv Sandberg
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Tool Support for Automated Workload Model Creation from Web Server Logs (2014)
Ferdrik Abbors, Dragos Truscan, Tanwir Ahmad
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Rigorous Construction of Safety Cases (2014)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Turku Centre for Computer Science, Annual Report 2013 (2014)
Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata (2013)
Mehdi Nobakht, Dragos Truscan
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Turku Centre for Computer Science, Annual Report 2012 (2013)
Irmeli Laine, Johan Lilius, Tomi Mäntylä, Ion Petre, Outi Tuohi, Ilona Tuominen
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Two Images of the Human Rights Committee and the "problem" of expertization (2012)
Viljam Engström
10 | 25 | 50 | 100 
Första sidan Föregående sida2/4 Nästa sida Sista sidan
Dela länk