Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Behavior Computation of Aerospace Software for Validation of Security and Functionality


    Beteiligte:

    Kongress:

    2018 AIAA SPACE and Astronautics Forum and Exposition



    Erscheinungsdatum :

    01.01.2018




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch






    Formal Validation of Aerospace Software

    Lesens, D. / Moy, Y. / Kanig, J. et al. | British Library Conference Proceedings | 2013


    Perspectives on aerospace software validation

    Rubey, R.J. | Tema Archiv | 1972