| 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 |
By thinking constantly about it…