Concurrency bugs; Counterexample explanation; Sequential pattern mining; Model checking;
机译:并发顺序模式挖掘和频繁的局部订单建模
机译:序贯和/或同时进行超分割放疗和同期化疗在胰腺癌晚期新辅助治疗中的应用。失败的结果和模式。
机译:e-NSPF:从频繁和不频繁的正序模式中有效挖掘负序模式
机译:挖掘顺序模式以解释并发反例
机译:车辆运动模式:一种针对车辆路线预测的顺序模式数据挖掘方法。
机译:应用顺序模式挖掘来调查脑血管健康门诊病人的重访模式
机译:挖掘顺序模式来解释并发反例?