摘要：模型驱动的安全相关系统逐步设计的有效整合方法：系统设计和安全分析模型之间的高效连接
作者：Marc Zeller, Kai Hoefig
论文ID：2105.14992
分类：Other Computer Science
分类简称：cs.OH
提交时间：2021-06-02
PDF 下载： 英文版 中文版pdf翻译中