Nataliya Pankratova et al. The Strategy of Digital twin Implementation at the Cyber-Phisical Enterprises
Kruti P. Shah et al. Towards Verification of UML Class Models using Formal Specification Methods: A Review
Albert V. Paytaren et al. Educational Assistance Management System for Batangas State University Arasof-Nasugbu