Synonyme wurden verwendet für: Computers Program verification
Suche ohne Synonyme: keywords:(Program verification(Computers))

1–20 von 134 Ergebnissen
|

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

    Bis, Rachael / Maul, William A. | NTRS | 2015
    Schlagwörter: 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
    Schlagwörter: Program verification (computers)

    Payload Software Integration and Verification Facility (PSIVF) Overview

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

    Understanding Systems Engineering

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

    Software Verification of Orion Cockpit Displays

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

    Software Verification of Orion Cockpit Displays

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

    Formal Verification Toolkit for Requirements and Early Design Stages

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

    Program Maintenance: A Modest Theory

    R. Hamlet | NTIS | 1981
    Schlagwörter: Computer Software , Computer program verification , Computer programs , Computer program documentation

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

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

    Towards the Verification of Human-Robot Teams

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

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

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

    Independent Testing

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

    Test Driven Development of Scientific Models (with Tutorial)

    T. Clune | NTIS | 2012
    Schlagwörter: Program verification(Computers) , Computer Software , Computer programs

    Software Evidence in the Aviation Domain

    C. M. Holloway | NTIS | 2015
    Schlagwörter: 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
    Schlagwörter: 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
    Schlagwörter: Computer Software , Program verification(Computers)

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

    Georg, M. / Malm, I. | Tema Archiv | 2000
    Schlagwörter: Computer-Simulation , Computer-Programm , Programmverifikation

    Software Management and Verification

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

    Guidance, Navigation, and Control Analysis Activities at MSFC

    E. Anzalone | NTIS | 2017
    Schlagwörter: Applications programs (computers) , Program verification (computers)

    NASA's Independent Verification and Validation (IV&V) Program and Gateway IV&V Project

    B. Stanton | NTIS | 2019
    Schlagwörter: Program verification (computers)