Chaudhary, Hafiz Ahmad Awais, University of Limerick
-
Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 - Articles
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.