Executable Model Based Testing for Self-Healing Cyber-Physical Systems Under Uncertainty

Executable Model Based Testing for Self-Healing Cyber-Physical Systems Under Uncertainty

Authors
T. Ma