Hardware certification for real-time safety-critical systems: State of the art

Andrew J. Kornecki, Janusz Zalewski. Hardware certification for real-time safety-critical systems: State of the art. Annual Reviews in Control, 34(1):163-174, 2010. [doi]

Abstract

Abstract is missing.