非順序式バックトラック手法を用いたテストパタン生成における矛盾の解析
非順序式バックトラック手法を用いたテストパタン生成における矛盾の解析
复制标题
无序回溯法测试模式生成矛盾分析
DOI:
--
复制
发表时间:
2007
期刊:
影响因子:
--
通讯作者:
松永 裕介
中科院分区:
文献类型:
--
作者:
吉村 正義;松永 裕介