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.
Popüler yazarlar
Philip M. Parker (1447) Icon Group International (865) Kolektif (829) Positive Notebook (156) Intl Business Pubn (60) Bob de Great (58) OECD (56) Seb Ula (54) JP Lepeley (53) Matt Quality (44) İlker Parasız (43) Marta Mora (39) etc. (36) Icon Group (35) Anisha Corrigan (34) Belle Perez (30) Motivational Elephant (30) John Journals (29) Kyron Erickson (29) Arlew Publishing (28)