Modeling foundations for executable model-based testing of self-healing cyber-physical systems

Tao Ma, Shaukat Ali 0001, Tao Yue 0002. Modeling foundations for executable model-based testing of self-healing cyber-physical systems. Software and Systems Modeling, 18(5):2843-2873, 2019. [doi]

Abstract

Abstract is missing.