位置：成果数据库 > 会议 > 会议详情页
A Method of Analysis and Verification for Safety-Critical Software based on Modelling and Testing
  • 所属机构名称：北京航空航天大学
  • 会议名称：The Fifth International Conference on Secure Software Integration and Reliability Improvement
  • 时间：2011.6.6
  • 成果类型：会议
  • 相关项目：安全苛刻性软件建模、分析和验证及其在航天器系统中的应用研究
作者： Yu Dan| Ma Shilong|
同会议论文项目
安全苛刻性软件建模、分析和验证及其在航天器系统中的应用研究
期刊论文 14 会议论文 5
同项目会议论文
Termination analysis of sequential program based on graph
Researches on real-time satellite data flow processing based on file buffer
A Rough Set Algorithm for Attribute Reduction via Mutual Information and Conditional Entropy
VKXMLD: A Virtual Key-based method for XML Deduplication