Adaptive Model Verification for Modularized Industry 4.0 Applications

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]

Abstract

Abstract is missing.