Monitoring; Reliability; Security; Engines; Operating systems; Aerospace electronics; Control systems;
机译:先锋:验证代码完整性并在旧版系统上强制执行未经篡改的代码
机译:对“关于广义级联码和广义错误位置码的等效性”的评论和更正
机译:关于广义级联码和广义错误位置码的等价性
机译:保护遗留代码通过执行位置等效检查来防止控制劫持
机译:速度编译器:从旧有顺序代码中提取有效的多核执行。
机译:临床指南获取和执行中的时间一致性检查:GLARE的方法
机译:模型和控制系统代码的组合等效性检验