机译:资源受限系统中实时控制器的参数选择
机译:使用二阶代数方法指定和验证实时系统:以铁路道口控制器为例
机译:使用基于FPGA的硬件控制器验证具有快速瞬态响应的自主分散式UPS系统
机译:资源受限的实时系统的验证和控制器综合:自动驾驶卡车的案例研究
机译:离散时间系统的形式验证和控制器综合。
机译:使用塑料闪烁探测器对192Ir HDR近距离放射疗法进行实时验证的体内剂量测定系统的幻像研究
机译:资源受限的实时系统的验证和控制器综合:自动卡车的案例研究
机译:使用二阶代数方法指定和验证实时系统 - 铁路交叉控制器的案例研究