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.
Recent comments
1 hour, 1 minute ago
1 hour, 58 minutes ago
6 hours, 40 minutes ago
14 hours, 58 minutes ago
1 day, 1 hour ago
1 day, 4 hours ago
1 day, 8 hours ago
1 day, 11 hours ago
1 day, 12 hours ago
1 day, 15 hours ago