A framework for the development and assurance of high integrity software /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Wallace, Dolores R.
Andere auteurs: Ippolito, Laura M.
Formaat: Boek
Taal:English
Gepubliceerd in: 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.
Reeks:NIST special publication ; 500-223.
NIST special publication. Computer systems technology
Onderwerpen:
Omschrijving
Beschrijving item:"December 1994."
Fysieke beschrijving:xiv, 67 p. : ill. ; 28 cm.
Bibliografie:Includes bibliographical references.