退出
我的积分:
中文文献批量获取
外文文献批量获取
高勇; 刘瑜; 谢昆青; 邬伦;
北京大学信息科学中心;
北京;
100871;
北京大学遥感与地理信息系统研究所;
Web服务; Web服务组合; Petri网;
机译:基于Petri网的基于方面的Web服务组合模型
机译:基于高级Petri网的Web服务组合和验证模型
机译:基于彩色Petri网的Web服务组合模型
机译:基于符号模型检查和Petri网的Web服务组合验证
机译:考虑车辆和行人/骑自行车者在某个地区的培养基于Petri网的模型
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:将多态过程模型转换为Petri网:一种验证基于工作流的Web服务组合的正式方法
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:程序,列车服务适应Petri网模型生成设备,列车威慑安排支持设备,列车服务适应Petri网模型生成方法和列车威慑安排支持方法
机译:基于模型的Web服务组合安全策略验证方法
机译:Web服务组合安全策略的基于模型的验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。