Concordia University (Canada).;
机译:Web应用程序正式规范和验证的重写逻辑方法
机译:模型驱动的方法支持对Web服务组合协议的形式验证
机译:使用范围扩展的LTL进行Web应用程序运行时验证的正式方法
机译:使用NuSMV的复合Web服务中会话的形式验证方法
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:关于社会服务的对话。
机译:复合Web服务中对话的形式验证方法
机译:防止ada服务中拒绝服务的形式规范和验证方法。