TitlePrototyping Self-Healing Behavior for NASA Swarm-based Systems with ASSL
Publication TypeJournal Article
Year of Publication2021
AuthorsVassev E, Hinchey M
JournalTASK Quarterly (Journal of the Polish Academy of Science)
URLhttps://journal.mostwiedzy.pl/TASKQuarterly/article/view/1753
DOI10.17466/tq2021/25.2/d