Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A predicate calculus based language for data verification and validation


    Beteiligte:
    Leal, Antonio (Autor:in)

    Kongress:

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



    Erscheinungsdatum :

    1993-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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