退出
我的积分:
中文文献批量获取
外文文献批量获取
侯金奎; 王磊;
潍坊学院计算机工程学院;
山东潍坊261061;
Web服务; 服务组合; 形式化模型; 范畴理论; 进程代数;
机译:基于Pi演算的语义Web服务组合形式化描述与验证研究
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:模型驱动的方法支持对Web服务组合协议的形式验证
机译:Web服务组合中的安全性要求:形式化,集成和验证
机译:用于移动应用程序的基于SIP的状态和动态发现协议的形式化,验证和可执行CPN模型。
机译:使用增强的堆栈自动机模型的Web服务组合的验证策略
机译:Web服务组合的形式化模型:基于actor的方法 统一编排和编排
机译:支持可靠分布式系统的建筑模式的形式化验证
机译:基于模型的Web服务组合安全策略验证方法
机译:Web服务组合安全策略的基于模型的验证方法
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。