Authors | T. Ma, S. Ali and T. Yue |
Title | Modeling Healing Behaviors of Cyber-Physical Systems with Uncertainty to Support Automated Testing |
Afilliation | Software Engineering |
Project(s) | The Certus Centre (SFI), MBT4CPS: Model-Based Testing For Cyber-Physical Systems |
Status | Published |
Publication Type | Technical reports |
Year of Publication | 2016 |
Publisher | Simula Research Laboratory |
Citation Key | 24846 |