Techniques for Safety Critical Software Develoopment

James D. Kiper, Brent Auernheimer, Charles K. Ames. Techniques for Safety Critical Software Develoopment. In HICSS (3). pages 249-251, 1997. [doi]

Abstract

Abstract is missing.