High-assurance Systems Engineering Symposium
- IEEE Computer Society
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹9,060Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
High-assurance Systems Engineering Symposium is written by IEEE Computer Society and published by Institute of Electrical & Electronics Engineers(IEEE). It's available with International Standard Book Number or ISBN identification 0818692219 (ISBN 10) and 9780818692215 (ISBN 13).
Partial Contents: Formal/Analytic Methods for Dependability; Reliability Modeling; Survivability & Security; Formal Methods; Design for High Assurance; Fault Analysis & Predication; Testing & Analysis of High-Assurance Systems; High-Assurance in Intelligent Systems
