program verification; finite state machines; constraint handling; heuristic programming; model refinement; FLAVERS; finite-state verification; constraint selection; task automaton constraints; task interactions;
机译:Specminer:基于启发式的交互迹线的服务行为模型挖掘
机译:基于启发式的预测有多好? 英国和美国资产回报的经济学和启发式模型的比较表现
机译:使用基于启发式的锌模型搜索
机译:基于启发式的FLAVORS模型细化
机译:使用具有动态网格细化的统一喷雾模型进行发动机喷雾燃烧建模。
机译:蛋白质模型中的接触预测:粗粒模型的评分折叠和细化
机译:基于启发式的FLAVORS模型优化