Search Results

Suggested Topics within your search.
Refine Results
  1. 1
    Cover Image

    Experiences using formal methods for requirements modeling

    Published 1996
    Government Document Microfilm Book

    Save to List
    Saved in:
  2. 2
    Cover Image

    Ground software maintenance facility (GSMF) user's manual final - appendices [NASA-CR-178806 NAS 1.26:178806 Rept-41849-G159-026-App HC A05/MF A01] / by Aquila, V.

    Published 1986
    Government Document Book

    Save to List
    Saved in:
  3. 3
    Cover Image

    Ground software maintenance facility (GSMF) user's manual final / by Derrig, D.

    Published 1986
    Government Document Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    The formal semantics of PVS by Owre, Sam

    Published 1999
    Click here to view online
    Government Document Microfilm Book

    Save to List
    Saved in:
  5. 5
    Cover Image

    RIACS workshop on the verification and validation of autonomous and adaptive systems by Pecheur, Charles

    Published 2001
    Government Document Microfilm Book

    Save to List
    Saved in:
  6. 6
    Cover Image

    The specification-based validation of Reliable Multicast Protocol problem report / by Wu, Yunqing

    Published 1995
    Government Document Microfilm Book

    Save to List
    Saved in:
  7. 7
    Cover Image

    A process improvement model for software verification and validation by Callahan, John

    Published 1994
    Government Document Microfilm Book

    Save to List
    Saved in:
  8. 8
    Cover Image

    Formal methods of V&V of partial specifications an experience report / by Easterbrook, S. M. (Steven Michael), 1965-

    Published 1997
    Government Document Microfilm Book

    Save to List
    Saved in:
  9. 9
    Cover Image

    Design, implementation, and verification of the reliable multicast protocol by Montgomery, Todd

    Published 1994
    Government Document Microfilm Book

    Save to List
    Saved in:
  10. 10
    Cover Image

    Software analysis handbook software complexity analysis and software reliability estimation and prediction /

    Published 1994
    Click here to view memorandum online
    Government Document Microfilm Book

    Save to List
    Saved in:
  11. 11
    Cover Image

    Software safety progress in NASA by Radley, Charles F.

    Published 1995
    Government Document Microfilm Book

    Save to List
    Saved in:
  12. 12
    Cover Image

    Land surface temperature measurements from EOS MODIS data semi-annual report ... for January-June, 1995 / by Wan, Zhengming

    Published 1995
    Government Document Microfilm Book

    Save to List
    Saved in:
  13. 13
    Cover Image

    Formal design and verification of a reliable computing platform for real-time control phase 3 results / by Butler, Ricky W.

    Published 1994
    Connect to online resource
    Government Document Book

    Save to List
    Saved in:
  14. 14
    Cover Image

    Turbulence modeling by Bardina, Jorge E.

    Published 1995
    Government Document Microfilm Book

    Save to List
    Saved in:
  15. 15
    Cover Image

    Fracture mechanics life analytical methods verification testing final report / prepared by Nichols Research Corporation, Cornell University, Fracture Analysis Consultants.

    Published 1994
    Government Document Microfilm Book

    Save to List
    Saved in:
  16. 16
    Cover Image

    Detection of faults and software reliability analysis semi-annual progress report, NASA award no. NAG-1-605, July 1, 1985 - June 30, 1987 / by Knight, John C.

    Published 1987
    Government Document Microfilm Book

    Save to List
    Saved in:
  17. 17
    Cover Image

    Measurement-based reliability/performability models by Hsueh, Mei-Chen

    Published 1987
    Government Document Thesis Microfilm Book

    Save to List
    Saved in:
  18. 18
    Cover Image

    Expert system verification and validation study final report / by French, Scott W.

    Published 1992
    Government Document Microfilm Book

    Save to List
    Saved in:
  19. 19
    Cover Image

    A survey of program slicing for software engineering by Beck, Jon

    Published 1993
    Government Document Microfilm Book

    Save to List
    Saved in:
  20. 20
    Cover Image

    Specification and verification of gate-level VHDL models of synchronous and asynchronous circuits by Russinoff, David M.

    Published 1995
    Connect to online resource
    Government Document Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search