학술논문
Evolution of Formal Model-Based Assurance Cases for Autonomous Robots
Document Type
Conference Paper
Author
Source
In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11724 LNCS:87-104)
Subject
Language
English
ISSN
16113349
03029743
03029743