退出
我的积分:
中文文献批量获取
外文文献批量获取
葛铭珏;
南京航空航天大学;
BPEL工作流; 广义随机Petri网; 可靠性分析; 评估模型;
机译:使用模型检查验证BPEL工作流设计
机译:使用模型检查来验证BPEL工作流设计
机译:通过模型检查对带补偿的BPEL工作流进行形式化分析
机译:基于IT基础设施的主动-主动云数据中心服务可靠性评估的彩色广义随机Petri网仿真模型
机译:集成数据并计算密集型工作流程以进行大规模仿真中的不确定性量化-在基于模型的危害分析中的应用。
机译:研究临床工作流程的基础:针对工作流程时间研究的复合观察者间可靠性评估的发展
机译:应用业务流程再造模式来优化WS-BPEL工作流
机译:在Ws-BpEL中实现工作流重新配置
机译:产生工作流应用模型的系统和产生工作流应用模型的程序
机译:基于工作流引擎的工作流模型仿真系统和直接模拟过程定义模型的方法
机译:基于工作流引擎的工作流模型仿真系统和方法直接模拟过程定义模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。