SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案
SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案
复制标题
提出使用 SPIN 验证 Struts 应用程序运行的模型生成方法
DOI:
--
复制
发表时间:
2005
期刊:
影响因子:
--
通讯作者:
他
中科院分区:
文献类型:
--
作者:
藤原貴之;他