Executable Assertions for Detecting Data Errors in Embedded Control Systems *

机译：集成方法中的质量控制，以检测生物数据库中的错误和不一致

机译：优化大型光学数据测量系统中检测到辐射的波前误差的方法

机译：检错/纠错码对ATM系统中噪声通道上可靠数据传输的影响

机译：用于检测嵌入式控制系统中数据错误的可执行断言

机译：分析光学数据存储系统中聚焦误差的方法。

机译：嵌入式传感器系统用于实时检测旋转平台的5自由度误差

机译：嵌入式软件中全局一致性可执行断言的系统设计

机译：检测计算机化材料控制和责任数据库中的错误和异常

机译：用于车辆发动机的电气控制装置，即微型计算机，具有检出器以检测输出数据中的错误，并且当输出数据中存在错误时，CPU具有使用固定数据执行预设计算的功能。

机译：数据控制方法，用于嵌入数据控制信息的方法，用于检测数据控制信息的方法，用于嵌入数据控制信息的设备，用于检测数据控制信息的设备和用于记录数据的设备

机译：用于机动车中的数据检测和评估方法，涉及检测要监视的单位内部接口数据，以单位存储生成的数据以及评估要执行的错误分析数据。