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]

Authors

Xin Xin

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

Sye Loong Keoh

This author has not been identified. Look up 'Sye Loong Keoh' in Google

Michele Sevegnani

This author has not been identified. Look up 'Michele Sevegnani' in Google

Martin Saerbeck

This author has not been identified. Look up 'Martin Saerbeck' in Google

Teck Ping Khoo

This author has not been identified. Look up 'Teck Ping Khoo' in Google