机译:使用精确解法器自动分解和分配汽车安全完整性等级
机译:使用精确解法器自动分解和分配汽车安全完整性等级
机译:在航空航天和汽车领域比较安全完整性级别的自动分配
机译:用于汽车安全完整性水平分配的蚁群算法
机译:使用精确的求解器自动分解和自动分解汽车安全完整性水平
机译:通过自动证明进行规定性安全检查,以实现控制流完整性。
机译:医疗保健中的计算机应用。医院中的计算机系统。支持资源分配和利用的系统:美国海军医疗设施的自动医疗资源分配和计划系统(MEDRAPS)
机译:用线性方程组自动分解和分配安全完整性等级