退出
我的积分:
中文文献批量获取
外文文献批量获取
张佩云; 黄波; 孙亚民;
南京理工大学计算机科学与技术学院;
Web服务; 服务组合; 服务组合验证; Petri网;
机译:基于高级Petri网的Web服务组合和验证模型
机译:基于Petri网验证Geodata Web服务组合的声音
机译:基于Petri网的基于方面的Web服务组合模型
机译:基于符号模型检查和Petri网的Web服务组合验证
机译:WS-Pro:基于Petri网的性能驱动的服务组合框架。
机译:使用彩色Petri网的基于工作流的Web服务组合的QoS度量
机译:将多态过程模型转换为Petri网:一种验证基于工作流的Web服务组合的正式方法
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:基于模型的Web服务组合安全策略验证方法
机译:Web服务组合安全策略的基于模型的验证方法
机译:基于Petri网建模的工业物联网无人机验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。