退出
我的积分:
中文文献批量获取
外文文献批量获取
张世杰; 徐鹏; 刘沛瑶;
西南交通大学数学学院 成都 610031;
系统可信性自动验证国家地方联合工程实验室 成都 610031;
Web服务组合; 符号模型检测; 有限状态自动机; 形式化定义; NuSMV;
机译:基于Petri网的基于方面的Web服务组合模型
机译:基于模型驱动的基于BPMN4SOA的Web服务组合开发方法
机译:故障分析器模型,用于在Web服务组合期间检测故障Web服务
机译:基于符号模型检查和Petri网的Web服务组合验证
机译:符号社交网络中的负符号预测的基于特征模型
机译:基于符号距离场的几何分析的基于CT的自动肺结节检测方案
机译:用于符号计算的基于模式的Web服务组合
机译:基于符号模型的saR特征分析与变化检测
机译:基于模型的Web服务组合安全策略验证方法
机译:Web服务组合安全策略的基于模型的验证方法
机译:安装在传送带上的条形码符号读取系统,该系统采用可操纵的条形码符号扫描仪来自动扫描由基于全息的条形码位置检测器检测到的条形码符号
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。