Publications (305)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page4/31 Next page Last page
A Å B C D E F G H I J K L M N O P Q R S T U V W All 
D4 Published development or research report or study
Towards Component-Based Reuse for Event-B (2015)
Andrew Edmunds, Colin Snook, Marina Walden
D4 Published development or research report or study
Towards a Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud (2015)
Adnan Ashraf, Benjamin Byholm, Ivan Porres
D4 Published development or research report or study
Towards a Formal Definition of Model Driven Development (2007)
Johan Lilius, Ian Oliver
D4 Published development or research report or study
Tool Support for Transforming UML-Based Specifications to UPPAAL Timed Automata (2013)
Mehdi Nobakht, Dragos Truscan
D4 Published development or research report or study
Tool Support for DFD to UML Model-Based Transformations (2003)
Dragos Truscan, João Miguel Fernandes, Johan Lilius
D4 Published development or research report or study
Tool Support for Automated Workload Model Creation from Web Server Logs (2014)
Ferdrik Abbors, Dragos Truscan, Tanwir Ahmad
D4 Published development or research report or study
Toisen aallon vapaakunta- ja normipurkukokeilut Tanskassa ja Norjassa. (2014)
Siv Sandberg
D4 Published development or research report or study
Toimivat mielenterveys- ja päihdepalvelut (2018)
Kristian Wahlbeck, Outi Hietala, Lauri Kuosmanen, David McDaid, Juha Mikkonen, Johannes Parkkonen, Kaarina Reini, Samuel Salovuori, Jouni Tourunen
D4 Published development or research report or study
Timing in the Presence of Directional Predictability: Optimal Stopping of Skew Brownian Motion (2016)
Luis H. R. Alvarez E., Paavo Salminen
D4 Published development or research report or study
Timing Analysis of UML Sequence Diagrams (1999)
Xuandong Li, Johan Lilius
10 | 25 | 50 | 100 
First page Previous page4/31 Next page Last page
Share link Export