一种面向AADL架构的模型测试方法

著录项

• 来源
  《计算机测量与控制》 |2010年第4期|778-781|共4页
• 作者

  冯冰; 杨志义; 董云卫; 马春燕;

  展开▼
• 作者单位

  西北工业大学计算机学院;

  陕西;

  西安;

  710072;

  西北工业大学计算机学院;

  陕西;

  西安;

  710072;

  西北工业大学计算机学院;

  陕西;

  西安;

  710072;

  西北工业大学软件与微电子学院;

  陕西;

  西安;

  710072;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 TP306.2;
• 关键词

  AADL; 模型测试; 马尔可夫链;