Evolution of Formal Model-based Assurance Cases for Autonomous Robots: Supplemental Material
收藏数据链接：
官方服务：
资源简介：
This report contains supplemental material for the paper Evolution of Formal Model-based Assurance Cases for Autonomous Robots accepted at Software Engineering and Formal Methods 2019 in Oslo. This material provides more details about the two discussed assurance case patterns, their implementation in Isabelle/SACM the instantiation of these patterns for the presented example, as well as Isabelle skripts for the theoretical part and the example.
提供机构：
Zenodo创建时间：
2019-07-19
