一种基于模型检查的嵌入式软件验证方法

著录项

• 来源
  《集成电路与嵌入式系统》 |2009年第5期|66-68|共3页
• 作者

  陈波; 廖颖;

  展开▼
• 作者单位

  中国电子科技集团公司第三十八研究所;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 计算机仿真;
• 关键词

  嵌入式软件; 验证方法; 模型检查; 消费电子; 工业控制; 汽车电子; 移动通信; 开发过程;