High Assurance Systems Engineering; Proceedings

High Assurance Systems Engineering; Proceedings
Author :
Publisher : IEEE Computer Society Press
Total Pages : 493
Release :
ISBN-10 : 0769534821
ISBN-13 : 9780769534824
Rating : 4/5 (21 Downloads)

Book Synopsis High Assurance Systems Engineering; Proceedings by : Bojan Cukic

Download or read book High Assurance Systems Engineering; Proceedings written by Bojan Cukic and published by IEEE Computer Society Press. This book was released on 2008-01-01 with total page 493 pages. Available in PDF, EPUB and Kindle. Book excerpt:


High Assurance Systems Engineering; Proceedings Related Books

High Assurance Systems Engineering; Proceedings
Language: en
Pages: 493
Authors: Bojan Cukic
Categories: Computer input-output equipment
Type: BOOK - Published: 2008-01-01 - Publisher: IEEE Computer Society Press

DOWNLOAD EBOOK

High Assurance Systems Engineering; Proceedings: IEEE High Assurance Systems Engineering Symposium (10th: 2007: Dallas, TX.
Language: en
Pages:
Sixth IEEE International Symposium on High Assurance Systems Engineering
Language: en
Pages: 252
Authors:
Categories: Technology & Engineering
Type: BOOK - Published: 2001 - Publisher: I E E E

DOWNLOAD EBOOK

This volume contains the conference proceedings of the 2001 6th IEEE International Symposium on High Assurance Systems Engineering.
High Assurance Systems Engineering; Proceedings
Language: en
Pages: 440
Authors: Bojan Cukic
Categories: Computers
Type: BOOK - Published: 2007 - Publisher: IEEE

DOWNLOAD EBOOK

High-assurance Systems Engineering Symposium
Language: en
Pages: 340
Authors: IEEE Computer Society
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: Institute of Electrical & Electronics Engineers(IEEE)

DOWNLOAD EBOOK

Partial Contents: Formal/Analytic Methods for Dependability; Reliability Modeling; Survivability & Security; Formal Methods; Design for High Assurance; Fault An