Lyle, J.
, Wallace, D.
, Graham, J.
and Binkley, K.
(1995),
Unravel::a case tool to assist evaluation of high integrity software, , National Institute of Standards and Technology, Gaithersburg, MD, [online], https://doi.org/10.6028/NIST.IR.5691v2
(Accessed October 3, 2024)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Unravel::a case tool to assist evaluation of high integrity software
Published
Author(s)
, , ,
Citation
- NIST IR 5691v2
Report Number
NIST IR 5691v2
Pub Type
NIST Pubs
Download Paper
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.
Created January 1, 1995, Updated May 19, 2023