机译:基于递奏的基于模型检查(TCMC)
Univ Waterloo David R Cheriton Sch Comp Sci Waterloo ON N2L 3G1 Canada;
Univ Waterloo David R Cheriton Sch Comp Sci Waterloo ON N2L 3G1 Canada;
Univ Waterloo David R Cheriton Sch Comp Sci Waterloo ON N2L 3G1 Canada;
Univ Waterloo David R Cheriton Sch Comp Sci Waterloo ON N2L 3G1 Canada;
Symbolic model checking; Alloy; Declarative models;
机译:使用合金模型检查医疗保健工作流程
机译:电子钱包Mondex:使用Alloy模型查找方法进行规格和完善检查
机译:用卵巢癌模型合成血管内皮生长因子(VEGF)受体成像的TC-99M-P-SCN-BZL-TCMC-BEVacizumab
机译:合金时态公式的有界模型检验
机译:使用Alloy对对象进行运行时一致性检查。
机译:LS-174T i.p.中212Pb-TCMC-曲妥珠单抗治疗后的基因表达谱。异种移植模型
机译:从基于传递 - 闭合的模型检查中提取反脉络数