Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modular Methods for Verification and Validation of Air Traffic Control Algorithms


    Kongress:

    Infotech@Aerospace 2012



    Erscheinungsdatum :

    01.01.2012




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    2012-2470 Modular Methods for Verification and Validation of Air Traffic Systems

    Neogi, N. / Herencia-Zapana, H. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2012


    Verification and Validation for Modular Development Platforms

    Leighton, Michael / RAY, RAKESH | SAE Technical Papers | 2023


    Verification and Validation for Modular Development Platforms

    Leighton, Michael / RAY, RAKESH | British Library Conference Proceedings | 2023


    Verification and Validation of Convex Optimization Algorithms for Model Predictive Control

    Cohen, Raphael / Feron, Eric / Garoche, Pierre-Loïc | AIAA | 2020


    Validation of TMG Traffic Data Check Algorithms

    Li, Qiang Joshua | Online Contents | 2013