Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design

Automatic Generation of SPIN Model Checking Code from UML Activity Diagram and Its Application to Web Application Design
复制标题

UML活动图自动生成SPIN模型检查代码及其在Web应用设计中的应用

DOI：
--
复制
发表时间：
2011
期刊：
Proceedings of the 7th International Conference on Digital Content, Multimedia Technology and its Applications (IDCTA2011)
影响因子：
--
通讯作者：
Katsumi WASAKI
Katsumi WASAKI
中科院分区：
--
文献类型：
--
作者：
Yutaka YAMADA;Katsumi WASAKI

文献摘要

相似文献