GRIL, Université de Sherbrooke, Québec, Canada;
GRIL, Université de Sherbrooke, Québec, Canada;
GRIL, Université de Sherbrooke, Québec, Canada;
GRIL, Université de Sherbrooke, Québec, Canada;
GRIL, Université de Sherbrooke, Québec, Canada;
机译:模型管理工具跨域模型一致性检查的系统文献综述
机译:安全关键系统的验证:使用现代模型检查工具的案例研究报告
机译:OntCheck:一种基于本体的静态正确性检查工具,用于基于组件的模型
机译:信息系统模型检查工具的比较
机译:用于面向服务的体系结构的模型检查工具的比较。
机译:在生化网络分析中利用模型检查的现有建模工具概述
机译:信息系统模型检测工具的比较
机译:CUTE和jCUTE:Concoic单元测试和显式路径模型检查工具(工具文件)