AuthorsT. Ma, S. Ali and T. Yue
TitleModeling Healing Behaviors of Cyber-Physical Systems with Uncertainty to Support Automated Testing
AfilliationSoftware Engineering
Project(s)The Certus Centre (SFI), MBT4CPS: Model-Based Testing For Cyber-Physical Systems
StatusPublished
Publication TypeTechnical reports
Year of Publication2016
PublisherSimula Research Laboratory
Citation Key24846