Publications (27)

Sort by: Date | Title
10 | 25 | 50 | 100 
First page Previous page3/3 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 Y Z В Г О С Э All 
A4 Conference proceedings
Using Scrum to Develop a Formal Model – An Experience Report (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
Using System Models vs. Test Models in Model-Based Testing (2009)
Malik QA, Jääskeläinen A, Virtanen H, Katara M, Abbors F, Truscan D, Lilius J
A4 Conference proceedings
Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems (2016)
Andrew Edmunds, Marta Olszewska, Marina Walden
Iaria xps press
A4 Conference proceedings
Using UML Models and Formal Verification in Model-Based Testing (2010)
Malik Q, Truscan D, Lilius J
IEEE
A4 Conference proceedings
Utilisation of PVC waste and PVC char in steelmaking and other processes (2014)
Markéta Mikolajková, Henrik Saxén, Ron Zevenhoven
Abo Akademi University, Thermal and Flow Engineering Laboratory
10 | 25 | 50 | 100 
First page Previous page3/3 Next page Last page
Share link Export