Sixth IEEE International Symposium on High Assurance Systems Engineering Fast Abstracts

Author	: Mladen A. Vouk
Publisher	:
Total Pages	: 76
Release	: 2001-10-01
ISBN-10	: 096714731X
ISBN-13	: 9780967147314
Rating	: 4/5 (1X Downloads)

DOWNLOAD EBOOK

Book Synopsis Sixth IEEE International Symposium on High Assurance Systems Engineering Fast Abstracts by : Mladen A. Vouk

Download or read book Sixth IEEE International Symposium on High Assurance Systems Engineering Fast Abstracts written by Mladen A. Vouk and published by . This book was released on 2001-10-01 with total page 76 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Sixth IEEE International Symposium on High Assurance Systems Engineering Fast Abstracts Related Books

Language: en
Pages: 76

Sixth IEEE International Symposium on High Assurance Systems Engineering Fast Abstracts

Authors: Mladen A. Vouk

Categories:

Type: BOOK - Published: 2001-10-01 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 252

Sixth IEEE International Symposium on High Assurance Systems Engineering

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.

Language: en
Pages: 294

Proceedings, 4th IEEE International Symposium on High-Assurance Systems Engineering, November 17-19, 1999, Washington, D.C.

Authors:

Categories: Technology & Engineering

Type: BOOK - Published: 1999 - Publisher:

DOWNLOAD EBOOK

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:

High Assurance Systems Engineering; Proceedings: IEEE High Assurance Systems Engineering Symposium (10th: 2007: Dallas, TX.

Authors: Bojan Cukic

Categories: Electronic book

Type: BOOK - Published: 2007 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 308

Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada

Authors:

Categories: Computers

Type: BOOK - Published: 1997 - Publisher: Institute of Electrical & Electronics Engineers(IEEE)

DOWNLOAD EBOOK

This text explores high-assurance software design and development. It includes: specification and testing of high-assurance systems; quality and high assurance;