退出
我的积分:
中文文献批量获取
外文文献批量获取
周昆; 金可音;
412000,湖南株洲,湖南工业大学计算机与通信学院;
Pi演算; Web服务; 服务组合; 组合验证;
机译:Web服务组合规范WS-CDL的类型化形式化模型
机译:一种基于状态转换表示转换的硬件/软件协同设计的形式化验证方法
机译:Web服务组合中的形式验证方法:对未来研究当前挑战的全面分析
机译:一种在Web服务组合中合成协调器的简单形式化方法
机译:一种使用模糊模拟隔离基于规则的模糊模型和定量模型之间的不一致知识的模型验证方法
机译:一种人机交互系统的形式化验证方法
机译:Vedalogic:一种基于挖掘模型的气候数据验证方法Vedalogic:一种基于数据挖掘模型的气候数据验证方法
机译:一种新的验证方法在区域尺度数值模型中的应用
机译:基于模型的Web服务组合安全策略验证方法
机译:Web服务组合安全策略的基于模型的验证方法
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。