Proceedings, IEEE High-Assurance Systems Engineering Workshop, October 21-22, 1996, Niagara on the Lake, Ontario, Canada
By: sponsored by IEEE Computer Society Technical Committee on Distributed Computing ; contributions from Hitachi Software Engineering Company, Honeywell Technology Center.
Contributors: IEEE Computer Society. TC Distributed Computing.
Publisher: IEEE Computer Society Press
Published: 1997
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 287
Subjects: Electronic data processing -- Distributed processing -- Congresses.; Systems engineering -- Congresses.
Other titles: High-Assurance Systems Engineering Workshop; IEEE High-Assurance Systems Engineering Workshop; HASE 96; Proceedings, High-Assurance Systems Engineering Workshop
Notes: "IEEE Computer Society Press Order Number PR07629."

"IEEE Order Plan Catalog Number 96TB100076."