退出
我的积分:
中文文献批量获取
外文文献批量获取
辜希武;
华中科技大学;
Web服务; 形式化模型; 异构平台; 数据类型;
机译:Web服务组合规范WS-CDL的类型化形式化模型
机译:基于Pi演算的语义Web服务组合形式化描述与验证研究
机译:基于MAS系统的动态web服务组合形式化建模研究
机译:Web服务组合的形式化模型及其应用分析
机译:实施形式化的舍入模型:特殊教育教师与特殊服务管理人员沟通的感知和特殊教育教师参与的研究
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:Web服务组合的形式化模型:基于actor的方法 统一编排和编排
机译:模型驱动的Web服务开发和动态Web服务组合;博士论文
机译:基于模型的Web服务组合安全策略验证方法
机译:Web服务组合安全策略的基于模型的验证方法
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。