A framework for the development and assurance of high integrity software /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Gaithersburg, MD : Washington, D.C. :
Computer Systems Laboratory, National Institute of Standards and Technology ; For sale by the Supt. of Docs., U.S. G.P.O.,
1994.
|
| Schriftenreihe: | NIST special publication ;
500-223. NIST special publication. Computer systems technology |
| Schlagworte: |
| Beschreibung: | "December 1994." |
|---|---|
| Beschreibung: | xiv, 67 p. : ill. ; 28 cm. |
| Bibliographie: | Includes bibliographical references. |