statecharts; error detection; temporal logic; watchdog;
机译:使用基于神经网络的参数重配置方法的事件驱动传感器/执行器微控制器,用于未知工厂模型控制应用
机译:事件驱动的无线传感器网络中基于队列的拥塞检测和多级速率控制
机译:针对事件驱动的传感应用使用精度控制的资源重新分配的低功耗通用Edge Tracer架构
机译:基于事件驱动状态应用的控制流程错误检测
机译:应回调控制流程图的建筑与应用基于框架的移动应用程序
机译:研究与应用:患者安全的表型分析:新生儿重症监护中基于电子健康记录的自动不良事件和医疗错误检测的算法开发
机译:事件驱动状态应用程序控制流中的错误检测*