...
机译:用于形式验证的术中血糖控制基准
Dept. of Computer and Information Science, University of Pennsylvania;
Dept. of Electrical and Systems Engineering, University of Pennsylvania;
Formal verification; Medical applications; Safety analysis; Closed-loop Controllers; Glucose control;
机译:Benchmarking verification of the control rod effects on the MTR core parameters using the MTR-PC and MCNP codes throughout 3D core modeling and rod-drop experiment
机译:Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems
机译:OpenBuildingControl: Digitizing the control delivery from building energy modeling to specification, implementation and formal verification
机译:使用ISA-Formal进行ARM〜®处理器的端到端验证
机译:传统PI-Control,带解耦的PI-Control和动态矩阵控制的比较。
机译:GLUcose COntrol在2型糖尿病中的安全性和有效性系统评价和网络荟萃分析
机译:Control predictivo des desacoploconcompensacióndeperturbaciones para el benchmark de control2009â2010
机译:位置发射器I124碘脱氧尿苷作为示踪剂跟踪晚期乳腺癌扫描和肿瘤样本中的DNa代谢:18F 2-Fluror-2-Deoxy-(D)-Glucose作为糖酵解示踪剂的比较