充足可能性判定に基づく誤り追跡入力生成と機能特定を用いた論理診断手法
充足可能性判定に基づく誤り追跡入力生成と機能特定を用いた論理診断手法
复制标题
基于可满足性判断的误差跟踪输入生成与函数辨识的逻辑诊断方法
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
沼 昌宏
中科院分区：
文献类型：
--
作者：
片山直樹;松山友紀;渡辺浩介;廣瀬哲也;黒木修隆;沼 昌宏
