退出
我的积分:
中文文献批量获取
外文文献批量获取
夏红星;
江苏靖江教师进修学校;
BPEL服务; π演算; 形式化描述; 验证;
机译:基于Pi演算的语义Web服务组合形式化描述与验证研究
机译:基于pi演算组合的语义Web服务形式化描述与验证研究。
机译:基于扩展过程演算的云制造服务组合和BPEL代码生成的形式验证
机译:基于OOPN的Web服务组合的形式化描述与验证。
机译:用于BPEL环境的动态验证平台
机译:基于序列的无凭证真菌的形式化描述:承诺和陷阱以及如何解决它们
机译:在基于BPEL的Web服务组合过程中验证并发属性
机译:基于shoaling波非线性特性的条形海滩深度反演算法的开发与验证。
机译:基于近场通信卡验证,终端验证支持服务器和身份验证服务器的基于卡的身份验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。