Key Laboratory of High Confidence Software Technology (Peking University), Ministry of Education, China;
Key Laboratory of High Confidence Software Technology (Peking University), Ministry of Education, China;
Key Laboratory of High Confidence Software Technology (Peking University), Ministry of Education, China;
feature model; verification; binary search; sat solver.;
机译:基于功能的软件模型形式验证技术分类
机译:通过基于特征的本体产品模型进行可制造性验证
机译:基于HMM的在线签名验证:特征提取和签名建模
机译:基于二进制搜索的特征模型的验证
机译:使用基于笔划的特征提取算法的动态签名验证系统设计。
机译:基于生理的药代动力学(PBPK)建模和模拟方法:已发布的模型应用和模型验证的系统评价
机译:通过基于特征的本体产品模型进行可制造性验证