Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems

Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems

Authors
T. Ma, S. Ali and T. Yue