Software Tools for Safety-Critical Systems According to DO-254

Andrew J. Kornecki, Brian Butka, Janusz Zalewski. Software Tools for Safety-Critical Systems According to DO-254. IEEE Computer, 41(12):112-115, 2008. [doi]

Abstract

Abstract is missing.