Product Description: An authoritative report on the design of safety-critical computer systems. Presents issues involved in the development of high-integrity software for life-crucial applications plus a review of the latest tools and techniques. Supplemented by recent U...read more