SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案

SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案
复制标题

提出使用 SPIN 验证 Struts 应用程序运行的模型生成方法

DOI:
--
复制
发表时间:
2005
期刊:
電子情報通信学会技術研究報告 Vol.105, No.491
影响因子:
--
通讯作者:
他
他
中科院分区:
--
文献类型:
--
作者:
藤原貴之;他

文献摘要

相似文献