Proceedings
Subtitle: 1997 High-Assurance Engineering Workshop : Washington, D.C., August 11-12, 1997
By: sponsored by IEEE Computer Society .
Contributors: IEEE Computer Society.
Publisher: IEEE Computer Society Press
Published: 1997
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 227
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Systems engineering -- Congresses.
Other titles: High-assurance engineering workshop; High-assurance systems engineering workshop
Notes: "IEEE Computer Society Press Order Number PR07971"

"IEEE Order Plan Catalog Number 97TB100211"

Includes bibliographical references.