机译:使用激光气管切开术案例研究评估UPPAAL-SMC中的在线模型检查
机译:基于XGBOOST的激光焊接中Al-Li合金的缝避险强度的基于对线预测:实验研究与造型
机译:建模和评估在线仪表系统的设计替代方案:案例研究
机译:对临床研究进行定性评估的清单,特别侧重于外部有效性和模型有效性
机译:评估软件问题管理模型的清单:一个案例研究
机译:在SAFER案例研究中开发和评估了公式编辑器(一种基于工具的方法来增强软件产品线模型检查中的可重用性)。
机译:模型研究对45-49岁健康检查和常规护理的成本效益评估
机译:使用激光气管切开术案例研究评估UppaaL-smC中的在线模型检查
机译:自检在线可测试的静态Ram