



相关文档
基于分布式系统的软件模型验证加速方法研究的中期报告
星级:
3页
基于有向超图的工作流模型验证方法研究的开题报告
星级:
3页
基于有向超图的工作流模型验证方法研究的中期报告
星级:
2页
基于依赖图的系统信息流脉络网构建方法研究的任务书
星级:
2页
在MDA中的模型转换方法研究的任务书
星级:
3页
基于BDD和SAT的形式验证方法的研究的任务书
星级:
2页
一种基于Mealy机的BPEL程序验证模型研究的任务书
星级:
2页
LOD模型网格简化方法的研究的任务书
星级:
2页
基于MLD模型的混杂系统控制及其形式验证研究的任务书
星级:
3页
可组合信息流安全验证模型及方法研究的任务书
星级:
3页