ISHIHARA,SEKI,KASAMI,SHIMABUKURO and OKAWA: "A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies" IEICE Transactions on Information and Systems. E76-D. 1479-1489

ISHIHARA,SEKI,KASAMI,SHIMABUKURO and OKAWA: "A Translation Method from Natural Language Specifications of Communication Protocols into Algebraic Specifications Using Contextual Dependencies" IEICE Transactions on Information and Systems. E76-D. 1479-1489
复制标题

ISHIHARA、SEKI、KASAMI、SHIMABUKURO 和 OKAWA:“使用上下文依赖性从通信协议的自然语言规范到代数规范的翻译方法”IEICE Transactions on Information and Systems。

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

文献摘要

相似文献