University of California Santa Barbara;
机译:环境辅助生活应用中正式规范和服务组合验证的趋势和挑战
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:Web应用程序正式规范和验证的重写逻辑方法
机译:异步通信Web服务的验证设计
机译:使用通信系统演算(CCS)对OSI会话层进行正式规范和验证。
机译:XMPP用于生物信息学中的云计算支持异步Web服务的发现和调用
机译:异步通信Web服务的验证设计
机译:用于同步和异步电路规范和验证的形式语言