Programming languages for use in safety-related applications

Wolfgang A. Halang, Janusz Zalewski. Programming languages for use in safety-related applications. Annual Reviews in Control, 27(1):39-45, 2003. [doi]

Abstract

Abstract is missing.