退出
我的积分:
中文文献批量获取
外文文献批量获取
程永上; 王志坚;
河海大学计算机与信息工程学院;
南京;
210098;
Web服务; Web服务组合; Petri网; 建模; 验证;
机译:基于Pi演算的语义Web服务组合形式化描述与验证研究
机译:基于pi演算组合的语义Web服务形式化描述与验证研究。
机译:Web服务组合的形式化描述框架和匹配技术
机译:基于OOPN的Web服务组合的形式化描述与验证。
机译:用于语义Web服务组合的数学框架及其在模块化产品设计中的应用。
机译:用于医疗保健数据集成的基于图的语义Web服务组合
机译:基于OpenAPI语义注释的Web服务组合方法
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.
机译:基于人工智能计划的面向消息的语义Web服务组合的方法和系统
机译:基于模型的Web服务组合安全策略验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。