机译:医疗领域模型的模型检查。
Algorithms; Computer Simulation; Delivery of Health Care; Humans; Population Surveillance; Software;
机译:医疗领域模型的模型检查。
机译:用于检查生物学模型一致性的正式方法。
机译:关于以图形方式检查二进制Logistic回归模型的拟合优度。
机译:在分布式认知模型中检查以用户为中心的设计原则:医疗领域的案例研究
机译:审查线性回归模型的鲁棒推理和模型检查技术。
机译:自身免疫性疾病进展中的检查点:糖尿病模型的教训。
机译:应用模型检查并发UML模型。
机译:不同故障模型下自检系统的设计。