佐藤友哉,北道淳司,東野輝夫: "システム設計レベルにおける回路の性質検証のための整数データを処理可能なCILモデル検査法の提案と安装"情報処理学会研究報告 2000-SLDM-97. Vol.2000 No.79. 17-24 (2000)
佐藤友哉,北道淳司,東野輝夫: "システム設計レベルにおける回路の性質検証のための整数データを処理可能なCILモデル検査法の提案と安装"情報処理学会研究報告 2000-SLDM-97. Vol.2000 No.79. 17-24 (2000)
复制标题
Tomoya Sato、Junji Kitamichi、Teruo Higashino：“可处理整数数据以在系统设计级别验证电路特性的 CIL 模型检查方法的提议和实现”日本信息处理协会研究报告 2000-SLDM-97 Vol. 1。 79号。17-24（2000）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
