結縁祥治: "テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ" 電子情報通信学会技術報告コンピューテーション. COMP 97-89. 17-24 (1998)

結縁祥治: "テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ" 電子情報通信学会技術報告コンピューテーション. COMP 97-89. 17-24 (1998)
复制标题

Shoji Yuen:“使用基于测试等效性的可视化 LTS 模型操作来处理代数调试器”IEICE COMP 17-89 (1998)。

DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
--
中科院分区:
--
文献类型:
--
作者:

文献摘要

相似文献