Modeling Healing Behaviors of Cyber-Physical Systems with Uncertainty to Support Automated TestingAuthorsT. Ma, S. Ali and T. YueStatusPublishedPublication typeTechnical ReportsYear of publication2016Journal-PublisherSimula Research LaboratoryCitation key14208Download (pdf 12287641 KB)Google Scholar BibTex