Executable Model Based Testing for Self-Healing Cyber-Physical Systems Under UncertaintyAuthorsT. MaStatusPublishedPublication typeThesisYear of publication2021JournalUniversity of OsloPublisher-Citation key16131Download (pdf 21417249 KB)Google Scholar BibTex