Run time (computers); Program verification (computers); Safety management; Fault tolerance; Computer programs; Autonomy; Hazards; Failure modes; Reliability;
机译:来自高级应用程序域(软件之外)的运行时验证挑战的调查
机译:纠正:从高级应用域(超越软件)的运行时验证挑战调查
机译:运行时可变性的承诺和挑战
机译:高安全性运行时验证中的挑战
机译:高保障系统的有限安全模型。
机译:全球村庄的疾病谣言:爆发验证。
机译:迈向经过验证的人工胰腺:运行时验证面临的挑战和解决方案。