Proceedings : 1997 High-Assurance Engineering Workshop : Washington, D.C., August 11-12, 1997 /

Bibliographic Details
Corporate Authors:	IEEE High-Assurance Systems Engineering Workshop Washington, D.C., IEEE Computer Society
Format:	Conference Proceeding Book
Language:	English
Published:	Los Alamitos, Calif. : IEEE Computer Society Press, [1997]
Subjects:	Systems engineering > Congresses. Electronic data processing > Distributed processing > Congresses.

Remote Storage