COMPASS '97 : are we making progress towards computer assurance? : June 16-19, 1997, National Institute of Standards and Technology, Gaithersburg, Maryland

Author(s)

• COMPASS
• IEEE Aerospace and Electronic Systems Society
• Institute of Electrical and Electronics Engineers. National Capital Area Council

Bibliographic Information

COMPASS '97 : are we making progress towards computer assurance? : June 16-19, 1997, National Institute of Standards and Technology, Gaithersburg, Maryland

COMPASS sponsors, IEEE National Capital Area Council, IEEE Aerospace and Electronics Systems Society ; conference sponsors, Arca Systems, Inc. ... [et al.]

IEEE Service Center, c1997

• : soft.
• : case.

Other Title

1997 IEEE COMPASS

97CH36080

Note

"IEEE catalog number 97CH36080"

Description and Table of Contents

Description

These papers report on formal studies of software usage in safety-critical applications. Applications are described in industrial, civilian, and military areas. The complexity of self-correcting unanticipated inputs to a safety-critical system are examined and approaches to solutions considered.

by "Nielsen BookData"

Details

• NCID: BA32828950
• ISBN:
  • 0780339797
  • 0780339800
• LCCN: 97071843
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Piscataway, NJ
• Pages/Volumes: 158 p.
• Size: 28 cm
• Subject Headings:
  • LCSH : Computer software -- Reliability -- Congresses
  • LCSH : Electronic digital computers -- Reliability -- Congresses