Evolution of Formal Model-based Assurance Cases for Autonomous Robots: Supplemental Material
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/3344488
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2024-07-22
