基于扩展自动机的服务组合静态与动态验证方法

文件格式： PDF文档

文件大小： 893.23 KB

资源类别：通信

关键词：静态验证扩展基于组合

进入标准下载页面

本资源下载需 1 点

论文简介

基于扩展自动机的服务组合静态与动态验证方法

相关推荐