COMPASS '95
Subtitle: proceedings of the Tenth Annual Conference on Computer Assurance, June 25-29, 1995, National Institute of Standards and Technology, Gaithersburg, MD : systems integrity, software safety, processes security, formal methods
By: COMPASS sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council ; in cooperation with: British Computer Society ; conference sponsors: Arca Systems, Inc. ... [et al.].
Contributors: National Institute of Standards and Technology (U.S.); IEEE Aerospace and Electronic Systems Society.; Arca Systems.; Institute of Electrical and Electronics Engineers. National Capital Area Council.
Publisher: IEEE
Published: 1995
Place of publication: Piscataway, NJ
Language: eng
Number of pages: 285
Subjects: Computer software -- Reliability -- Congresses.; Electronic digital computers -- Reliability -- Congresses.
Other titles: Systems integrity, software safety, processes security, formal methods; Proceedings of the tenth annual Conference on Computer Assurance; 1995 IEEE COMPASS
Notes: "95CH35802".

Includes bibliographical references.