发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Knowledge-Guided Methodology for Specification Analysis

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Knowledge-Guided Methodology for Specification Analysis

Singh, Bhanu; Shankar, Arunprasath; Shiyanovskii, Yuriy; Wolff, Francis; Papachristou, Christos; Weyer, Daniel; Clay, Steve; Morrison, Jim
  • 作者Singh, Bhanu; Shankar, Arunprasath; Shiyanovskii, Yuriy; Wolff, Francis; Papachristou, Christos; Weyer, Daniel; Clay, Steve; Morrison, Jim
  • 文件大小305.69KB
  • 发表时间2013
  • DOI10.1109/ictai.2013.115
  • 页码749-754
同作者推荐
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯