結縁祥治: "テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ" 電子情報通信学会技術報告コンピューテーション. COMP 97-89. 17-24 (1998)
結縁祥治: "テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ" 電子情報通信学会技術報告コンピューテーション. COMP 97-89. 17-24 (1998)
复制标题
Shoji Yuen:“使用基于测试等效性的可视化 LTS 模型操作来处理代数调试器”IEICE COMP 17-89 (1998)。
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: