Xin Xin, Sye Loong Keoh, Michele Sevegnani, Martin Saerbeck, Teck Ping Khoo. Adaptive Model Verification for Modularized Industry 4.0 Applications. IEEE Access, 10:125353-125364, 2022. [doi]
@article{XinKSSK22,
title = {Adaptive Model Verification for Modularized Industry 4.0 Applications},
author = {Xin Xin and Sye Loong Keoh and Michele Sevegnani and Martin Saerbeck and Teck Ping Khoo},
year = {2022},
doi = {10.1109/ACCESS.2022.3225399},
url = {https://doi.org/10.1109/ACCESS.2022.3225399},
researchr = {https://researchr.org/publication/XinKSSK22},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {10},
pages = {125353-125364},
}