Related Books
Language: en
Pages:
Pages:
Type: BOOK - Published: 2008 - Publisher:
Language: en
Pages: 294
Pages: 294
Type: BOOK - Published: 1999 - Publisher:
Proceedings of the November 1999 symposium which focused on the development of embedded systems. Examples of high-assurance embedded applications are flight con
Language: en
Pages: 348
Pages: 348
Type: BOOK - Published: 2000 - Publisher: IEEE Computer Society Press
The proceedings from this November, 2000 conference in Albuquerque, New Mexico feature 46 papers by computer scientists working with universities, private compa
Language: en
Pages: 340
Pages: 340
Type: BOOK - Published: 1998 - Publisher: Institute of Electrical & Electronics Engineers(IEEE)
Partial Contents: Formal/Analytic Methods for Dependability; Reliability Modeling; Survivability & Security; Formal Methods; Design for High Assurance; Fault An
Language: en
Pages: 493
Pages: 493
Type: BOOK - Published: 2008-01-01 - Publisher: IEEE Computer Society Press