Showing 1 - 20 results of 46 for search '', query time: 0.06s Refine Results
  1. 1
    Flight guidance system validation using SPIN

    Flight guidance system validation using SPIN by Naydich, Dimitri

    Hampton, Va. : Springfield, Va. : National Aeronautics and Space Administration, Langley Research Center ; National Technical Information Service, distributor, 1998
    Format: Government Document Book


    Save to List
    Saved in:
  2. 2
    FTAPE : a fault injection tool to measure fault tolerance

    FTAPE : a fault injection tool to measure fault tolerance by Tsai, Timothy K.

    [Washington, D.C.?] : Springfield, Va. : American Institute of Aeronautics and Astronautics : National Aeronautics and Space Administration ; National Technical Information Service, distributor], 1994
    Format: Government Document Book


    Save to List
    Saved in:
  3. 3
    Experience report : the use of functional flows to provide an alternate perspective for IV & V

    Experience report : the use of functional flows to provide an alternate perspective for IV & V by Addy, Edward A.

    [Washington, DC] : [Springfield, Va.] : [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1996
    Format: Government Document Book


    Save to List
    Saved in:
  4. 4
    The formal semantics of PVS

    The formal semantics of PVS by Owre, Sam

    Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1999
    Format: Government Document Book


    Save to List
    Saved in:
  5. 5
    A process improvement model for software verification and validation

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

    [Morgantown, West Va.] : [Washington, DC] : [Springfield, Va.] : West Virginia University ; National Aeronautics and Space Administration ; [National Technical Information Service, distributor], 1994
    Format: Government Document Book


    Save to List
    Saved in:
  6. 6
    Formal design and verification of a reliable computing platform for real-time control : phase 3 results

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

    Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1994
    Format: Government Document Book


    Save to List
    Saved in:
  7. 7
    Analysis and synthesis of abstract data types through generalization from examples

    Analysis and synthesis of abstract data types through generalization from examples by Wild, Christian

    [Washington, D.C.] : [Springfield, Va.] : [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1987
    Format: Government Document Book


    Save to List
    Saved in:
  8. 8
    Software reliability studies : final report for the period ended October 31, 1994

    Software reliability studies : final report for the period ended October 31, 1994 by Hoppa, Mary Ann

    Norfolk, Va. : [Springfield, Va.] : Dept. of Computer Science, College of Sciences, Old Dominion University ; [National Technical Information Service, distributor], 1994
    Format: Government Document Book


    Save to List
    Saved in:
  9. 9
    Design, implementation, and verification of the reliable multicast protocol

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

    [Washington, D.C.] : Morgantown, W. Va. : [Springfield, Va.] : National Aeronautics and Space Administration ; West Virginia University ; [National Technical Information Service, distributor], 1994
    Format: Government Document Book


    Save to List
    Saved in:
  10. 10
    Turbulence modeling

    Turbulence modeling by Bardina, Jorge E.

    Moffett Field, Calif. : [Springfield, Va.] : National Aeronautics and Space Administration, Ames Research Center ; [National Technical Information Service, distributor], 1995
    Format: Government Document Book


    Save to List
    Saved in:
  11. 11
    Performance validation of the ANSER control laws for the F-18 HARV

    Performance validation of the ANSER control laws for the F-18 HARV by Messina, Michael D.

    Hampton, Va. : [Springfield, Va.] : National Aeronautics and Space Administration, Langley Research Center ; [National Technical Information Service, distributor], 1995
    Format: Government Document Book


    Save to List
    Saved in:
  12. 12
    The global coronal structure investigation : NASA grant NAG5-5075 : annual report for the period 1 April 1997 through 31 March 1998

    The global coronal structure investigation : NASA grant NAG5-5075 : annual report for the period 1 April 1997 through 31 March 1998 by Golub, L. (Leon)

    Cambridge, Mass. : [Washington, DC] : [Springfield, Va.] : Smithsonian Institution, Astrophysical Observatory ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1998
    Format: Government Document Book


    Save to List
    Saved in:
  13. 13
    Proceedings of the Nineteenth Annual Software Engineering Workshop.

    Proceedings of the Nineteenth Annual Software Engineering Workshop.

    Greenbelt, Md. : [Springfield, Va.] : National Aeronautics and Space Administration, Goddard Space Flight Center ; [National Technical Information Service, distributor], 1994
    Format: Government Document Conference Proceeding Book


    Save to List
    Saved in:
  14. 14
    Ground software maintenance facility (GSMF) user's manual : final.

    Ground software maintenance facility (GSMF) user's manual : final.

    Huntsville, Ala. : [Washington, DC] : [Springfield, Va.] : TRW Defense Systems Group, Huntsville Operations ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1986
    Format: Government Document Book


    Save to List
    Saved in:
  15. 15
    Formal methods for verification and validation of partial specifications : a case study

    Formal methods for verification and validation of partial specifications : a case study by Easterbrook, Steve

    [Fairmont, W. Va.] : [Washington, DC] : [Springfield, Va.] : West Virginia University ; National Aeronautics and Space Administration ; [National Technical Information Service, distributor], 1997
    Format: Government Document Book


    Save to List
    Saved in:
  16. 16
    Development of a software safety process and a case study of its use : annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight.

    Development of a software safety process and a case study of its use : annual progress report, August 1, 1995 - July 31, 1996 / submitted by J.C. Knight. by Knight, John C.

    Charlottesville, Va. : [Washington, DC] : [Springfield, Va.] : School of Engineering & Applied Science, University of Virginia ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1996
    Format: Government Document Book


    Save to List
    Saved in:
  17. 17
    Follow-on low noise fan aerodynamic study : task 15-final report

    Follow-on low noise fan aerodynamic study : task 15-final report by Heidegger, Nathan J.

    [Cleveland, Ohio] : [Springfield, Va.] : National Aeronautics and Space Administration, Lewis Research Center ; [National Technical Information Service, distributor], 1999
    Format: Government Document Book


    Save to List
    Saved in:
  18. 18
    Fracture mechanics life analytical methods verification testing : final report / prepared by Nichols Research Corporation, Cornell University, Fracture Analysis Consultants.

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

    Huntsville, AL : [Washington, DC] : [Springfield, Va.] : NRC, Nichols Research Corporation ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1994
    Format: Government Document Book


    Save to List
    Saved in:
  19. 19
    Expert system verification and validation study : final report

    Expert system verification and validation study : final report by French, Scott

    [Houston, Tex.] : [Washington, DC] : [Springfield, Va.] : Research Institute for Computing and Information Systems, University of Houston-Clear Lake ; [National Aeronautics and Space Administration] ; [National Technical Information Service, distributor], 1992
    Format: Government Document Book


    Save to List
    Saved in:
  20. 20
    Toward fidelity between specification and implementation

    Toward fidelity between specification and implementation

    [Washington, D.C.] : [Morgantown, W.Va.?] : [Springfield, Va.] : National Aeronautics and Space Administration ; West Virginia University ; [National Technical Information Service, distributor], 1994
    Format: Government Document Book


    Save to List
    Saved in:

Search Tools: