Title:Digital Twins for Manufacturing Using UML and Behavioral Specifications
Author(s):Azangoo, Mohammad; Taherkordi, Amir; Olaf Blech, JanDate:2020-09Series:Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2020, Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Title:Efficient symbolic model checking of concurrent systems
Author(s):Dubrovin, JoriDate:2011Series:Aalto University publication series DOCTORAL DISSERTATIONS ,
111/2011Perustieteiden korkeakoulu | Doctoral thesis (article-based)
Title:Evaluation of an user interface
Author(s):Appelroth, ToveDate:2002Helsinki University of Technology | Master's thesis