Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems
- Authors
- T. Ma, S. Ali and T. Yue
- Status
- Published
- Publication type
- Presentation
- Year of publication
- 2020
- Journal
- IEEE International Conference on Software Testing, Verification and Validation (ICST 2020)
- Publisher
- -
- Citation key
- 15844