Engineering a Digital Twin for Manual Assembling

Alexandru Matei, Nicolae-Adrian Tocu, Constantin-Bala Zamfirescu, Arpad Gellert, Mihai Neghina. Engineering a Digital Twin for Manual Assembling. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV. Volume 12479 of Lecture Notes in Computer Science, pages 140-152, Springer, 2020. [doi]

Authors

Alexandru Matei

This author has not been identified. Look up 'Alexandru Matei' in Google

Nicolae-Adrian Tocu

This author has not been identified. Look up 'Nicolae-Adrian Tocu' in Google

Constantin-Bala Zamfirescu

This author has not been identified. Look up 'Constantin-Bala Zamfirescu' in Google

Arpad Gellert

This author has not been identified. Look up 'Arpad Gellert' in Google

Mihai Neghina

This author has not been identified. Look up 'Mihai Neghina' in Google