1.
Compositional Verification Based on Interface Automata;
基于接口自动机的组合验证方法研究
2.
Verification and Reduction of Web Service Composition Based on Petri-Net;
基于Petri网的Web服务组合验证与化简
3.
Verification Mechanism for Web Service Composition Based on Extended Colored Petri Net
一种基于扩展颜色Petri网的Web服务组合验证机制
4.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
5.
Verification of Web Servies Composition Based on Pi-Calculus;
基于Pi演算的Web服务组合的验证
6.
Performance of Portfolio Insurance by TIPP Strategy:An Empirical Study;
TIPP投资组合保险策略的实证检验
7.
Authentication method of Web service combination formalization based on petri net
Web服务组合形式化验证方法研究
8.
Verifying the Accuracy of Web Services Using Pi-calculus
基于Pi-演算的服务组合正确性验证
9.
Semantic consistency verification of Web service composition
Web服务组合语义一致性验证研究
10.
Numerical Analysis and Empirical Study on Portfolio Insurance;
动态投资组合保险理论数值分析和实证检验
11.
Numerical Analysis and Empirical Study on Portfolio Insurance Theory;
投资组合保险理论数值分析和实证检验
12.
Hierarchical Petri Net Based Modeling and Verification of Web Service Composition;
基于分层Petri网的Web服务组合建模与验证
13.
Research on Integrated Navigation System of HCV and Experiment Using Unscented Kalman Filter;
高超巡航飞行器组合导航系统研究与算法验证
14.
Research and Analysis on Model for Web Service Composition Based on Workflow Petri Net;
Web服务组合工作流建模分析及Petri网验证
15.
Study on Verification Method for Web Service Compositional Compatibility Based on Pi-Calculus;
基于Pi演算的Web服务组合兼容性验证方法研究
16.
Portfolio Selection Decision: System Thinking and Experiments Design;
证券组合投资决策:系统思考和实验设计
17.
Modeling and Verification of Semantic Web Service Composition Based on Fuzzy Petri Net
基于模糊Petri网的语义Web服务组合建模与验证
18.
Use and Verification of Exterual Survey Methods for Buried Pipelines
埋地管道外检测方法的组合应用与验证