濱田貴之, 土屋達弘, 中村匡秀, 菊野亨: "Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking"Lecture Notes in Computer Science (Proc. of ICOIN 16). 2343. 641-651 (2002)
濱田貴之, 土屋達弘, 中村匡秀, 菊野亨: "Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking"Lecture Notes in Computer Science (Proc. of ICOIN 16). 2343. 641-651 (2002)
复制标题
Takayuki Hamada、Tatsuhiro Tsuchiya、Masahide Nakamura、Toru Kikuno：“通过符号模型检查检测电信系统中的特征交互”计算机科学讲义（Proc. of ICOIN 16）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
