High-assurance Systems Engineering Symposium
| Author | : IEEE Computer Society |
| Publisher | : Institute of Electrical & Electronics Engineers(IEEE) |
| Total Pages | : 340 |
| Release | : 1998 |
| ISBN-10 | : UCSC:32106014904210 |
| ISBN-13 | : |
| Rating | : 4/5 (10 Downloads) |
Book Synopsis High-assurance Systems Engineering Symposium by : IEEE Computer Society
Download or read book High-assurance Systems Engineering Symposium written by IEEE Computer Society and published by Institute of Electrical & Electronics Engineers(IEEE). This book was released on 1998 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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
