Filter by

  • Publication Year
    To
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: subject="Summary of a Workshop...
cover
Summary of a Workshop on Software Certification and Dependability
Comment Share
Committee on Certifiably Dependable Software Systems Computer Science and Telecommunications Board

Systems on which the safety or security of individuals may depend are frequently subject to certification: a formal assurance that the system has met relevant technical standards, designed to give confidence that it has some specific properties—for example, that it will not unduly endanger the public. Today, certification of the dependability of a software-based system frequently relies at l…

Edition
-
ISBN/ISSN
0-309-54619-2
Collation
1-58
Series Title
-
Call Number
-