文献
J-GLOBAL ID：201602280591159088   整理番号：15A0070906

Research advances in SAT-based error localization methods on circuits

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (4件)：
Zhang Jianmin

Zhang Jianmin について

(Coll. of Computer, National Univ. of Defense Technol., Changsha)

Coll. of Computer, National Univ. of Defense Technol., Changsha について

, 
Li Tiejun

Li Tiejun について

(Coll. of Computer, National Univ. of Defense Technol., Changsha)

Coll. of Computer, National Univ. of Defense Technol., Changsha について

, 
Zhang Jun

Zhang Jun について

(Coll. of Computer, National Univ. of Defense Technol., Changsha)

Coll. of Computer, National Univ. of Defense Technol., Changsha について

, 
Li Sikun

Li Sikun について

(Coll. of Computer, National Univ. of Defense Technol., Changsha)

Coll. of Computer, National Univ. of Defense Technol., Changsha について


資料名：
Guofang Keji Daxue Xuebao  (Guofang Keji Daxue Xuebao)

Guofang Keji Daxue Xuebao について


巻： 36  号： 2  ページ： 81-86  発行年： 2014年 
JST資料番号： W0569A  ISSN： 1001-2486  CODEN： GKDXEM  資料種別： 逐次刊行物 (A)
発行国： 中国 (CHN)  言語： 中国語 (ZH)

前のページに戻る

TOP

BOTTOM