Lyle, J.
, Wallace, D.
, Graham, J.
, Gallagher, K.
, Poole, J.
and Binkley, D.
(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.5691v1
(Accessed April 25, 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 5691v1
Report Number
NIST IR 5691v1
Pub Type
NIST Pubs
Download Paper
Citation
Created January 1, 1995, Updated May 19, 2023