位置：成果数据库 > 会议 > 会议详情页
一种基于测试的故障树正确性检测方法
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：2011全国软件与应用学术会议论文集
  • 成果类型：会议
  • 相关项目：高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
作者： 齐治昌|刘磊|董威|
同会议论文项目
高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
期刊论文 5 会议论文 3
同项目会议论文
An Event Pattern Language for Runtime Monitoring Based on AOP
Security Goals Assurance Based on Software Active Monitoring