土屋達弘, 中村匡秀, 菊野亨: "Detecting Feature Interactions in Telecommunication Services with a SAT Solver"Proc. of 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02). 131-134 (2002)
土屋達弘, 中村匡秀, 菊野亨: "Detecting Feature Interactions in Telecommunication Services with a SAT Solver"Proc. of 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02). 131-134 (2002)
复制标题
Tatsuhiro Tsuchiya、Masahide Nakamura、Toru Kikuno：“使用 SAT 求解器检测电信服务中的特征交互”2002 年环太平洋国际可靠计算研讨会 (PRDC02) 的会议记录。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
