Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A predicate calculus based language for data verification and validation


    Contributors:

    Conference:

    9th Computing in Aerospace Conference ; 1993 ; San Diego , CA , U.S.A.



    Publication date :

    1993-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Introspection-Based Verification and Validation

    Zima, Hans P. / James, Mark L. | IEEE | 2009


    Predicate Logic Based Image Grammars for Complex Pattern Recognition

    Shet, V. / Singh, M. / Bahlmann, C. et al. | British Library Online Contents | 2011


    Aerosol Wind LIDAR Verification & Validation Data Set

    Raina Hempley / John E. Marketon | NTRS


    Verification and Validation

    Standley, Shaun | NTRS | 2019


    Verification and Validation

    Markosian, Lawrence Z. / Feather, Martin S. / Brinza, David E. | Wiley | 2011