University of Colorado at Boulder.;
机译:约束在形式验证和人工智能中的应用
机译:借助人工神经网络利用从连续信号中检测到的事件对废水处理过程进行形式验证。案例研究:SBR工厂
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:硬件设计中对形式验证的需求以及最近对我而言尚未完成的形式验证
机译:用于植入式人工胰腺的患者专用控制器。
机译:网络物理系统中控制模块的正式验证
机译:人工器官,对其自然对应物的完美替代品 - 人工内分泌胰腺的开发和应用。