Publications (27)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/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
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
A4 Conference proceedings
Using UML Models and Formal Verification in Model-Based Testing (2010)
Malik Q, Truscan D, Lilius J
IEEE
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 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 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 Optimization, Learning, and Drone Reflexes to Maximize Safety of Swarms of Drones (2018)
Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab
IEEE
View on publisher's site
A4 Conference proceedings
Using multi-granular fuzzy linguistic modelling methods for supervised classification learning purposes (2017)
J. A. Morente-Molinera, J. Mezei, C. Carlsson, E. Herrera-Viedma
IEEE
View on publisher's site
A4 Conference proceedings
Using Feature Models to Automate Model Transformations (2005)
Johan Lilius, Dragos Truscan
10 | 25 | 50 | 100 
Previous page Previous page1/3 Next page Last page
Share link Export