1–20 of 183 hits
|

    Formal Assurance for Cognitive Architecture Based Autonomous Agent

    S. Bhattacharyya / T. Eskridge / N. Neogi et al. | NTIS | 2017
    Keywords: Computer Software , Program verification (computers) , Architecture (computers)

    Verification of Functional Fault Models and the Use of Resource Efficient Verification Tools

    Bis, Rachael / Maul, William A. | NTRS | 2015
    Keywords: program verification (computers) , Computer Programming And Software

    Noise-source identification of a high-speed train by noise source level analysis

    Noh, Hee-Min | Online Contents | 2017
    Keywords: Program verification (computers)

    Payload Software Integration and Verification Facility (PSIVF) Overview

    A. B. Rice | NTIS | 2010
    Keywords: Computer Software , Architecture(Computers) , Program verification(Computers) , Applications programs(Computers)

    Understanding Systems Engineering

    M. D. Watson | NTIS | 2018
    Keywords: Computers, Control & Information Theory , Program verification (computers) , Applications programs (computers)

    Distributed Avionics and Software Verification for the Constellation Program

    L. E. Hood / J. E. Adams | NTIS | 2008
    Keywords: Computer Software , Program verification(Computers) , Constellation program

    Software Verification of Orion Cockpit Displays

    M. A. R. Biswas / M. Prado / S. Garcia et al. | NTIS | 2017
    Keywords: Computer Software , Program verification (computers) , Computer programming

    Formal Verification Toolkit for Requirements and Early Design Stages

    J. M. Badger / S. J. Miller | NTIS | 2011
    Keywords: Computer Software , Applications programs(Computers) , Computer programming , Natural language(Computers) , Program verification(Computers)

    Small Projects Rapid Integration and Test Environment (SPRITE): Application for Increasing Robutness

    A. Lee / J. Rakoczy / D. Heather et al. | NTIS | 2013
    Keywords: Computer Software , Applications programs(Computers) , Program verification(Computers)

    Software Verification of Orion Cockpit Displays

    M. A. R. Biswas / S. Garcia / M. Prado et al. | NTIS | 2017
    Keywords: Computer Software , Program verification (computers) , Computer programming

    Program Maintenance: A Modest Theory

    R. Hamlet | NTIS | 1981
    Keywords: Computer Software , Computer program verification , Computer programs , Computer program documentation

    Towards the Verification of Human-Robot Teams

    M. Fisher / E. Pearce / M. Wooldridge et al. | NTIS | 2005
    Keywords: Computers, Control & Information Theory , Program verification(Computers)

    Independent Testing

    J. R. Morris | NTIS | 2017
    Keywords: Computer Software , Program verification (computers) , Applications programs (computers)

    NASA IV&V Program NASA's Independent Verification and Validation Program

    G. Blaney | NTIS | 2014
    Keywords: Computer Software , Program verification (computers) , Computer systems programs , Computer programming , Computer programs

    Software Evidence in the Aviation Domain

    C. M. Holloway | NTIS | 2015
    Keywords: Computer Software , Computer programming , Program verification (computers) , Computer programs

    Core Flight System (cFS) Community: Providing Low Cost Solutions for Small Spacecraft

    D. McComas / J. Wilmot / A. Cudmore | NTIS | 2016
    Keywords: Computer programs , Program verification (computers) , Open source licensing (computers)

    Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-based Systems

    C. Rouff / A. Vanderbilt / M. Hinchey et al. | NTIS | 2004
    Keywords: Computer Software , Program verification(Computers)

    NASA Independent Verification and Validation Program Value Report, 2008 and 2009

    NTIS | 2010
    Keywords: Computer Software , Computer software , Verification , Program plans , Independent Validation & Verification (IV&V) , Program verification (Computers)

    Software Management and Verification

    D. Gruca | NTIS | 2015
    Keywords: Computer Software , Computer programs , Program verification (computers)

    Lieber leichter ... Globales Tragverhalten von Flugzeugrümpfen - ein Technologieprogramm

    Georg, M. / Malm, I. | Tema Archive | 2000
    Keywords: Computer-Simulation , Computer-Programm , Programmverifikation