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

著者

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

書誌事項

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.

タイトル別名

1997 IEEE COMPASS

97CH36080

注記

"IEEE catalog number 97CH36080"

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA32828950
• ISBN:
  • 0780339797
  • 0780339800
• LCCN: 97071843
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Piscataway, NJ
• ページ数/冊数: 158 p.
• 大きさ: 28 cm
• 件名:
  • LCSH : Computer software -- Reliability -- Congresses
  • LCSH : Electronic digital computers -- Reliability -- Congresses