Universite de Montreal (Canada);
机译:使用范围扩展的LTL进行Web应用程序运行时验证的正式方法
机译:具有线性时间逻辑的行为树正式验证的框架
机译:Web应用程序正式规范和验证的重写逻辑方法
机译:将线性时间时间逻辑嵌入无限逻辑:用于切割消除的多毒者无限性认罪线性时间呈现时间逻辑
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:Open Health Imaging Foundation Viewer:可扩展的开源框架用于构建基于Web的成像应用程序以支持癌症研究
机译:Web应用程序运行时验证的正式框架:ccope扩展的线性时态逻辑支持的方法