5078094
9780471934745
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.K. Ministry of Defense Standard 00-55 and other guidance material.Wichmann, Brian A. is the author of 'Software in Safety-Related Systems' with ISBN 9780471934745 and ISBN 0471934747.
[read more]