Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems (AIAA 2017-0418)


    Beteiligte:
    Guarro, Sergio (Autor:in) / Yau, Michael K. (Autor:in) / Ozguner, Umit (Autor:in) / Aldemir, Tunc (Autor:in) / Kurt, Arda (Autor:in) / Hejase, Mohammad (Autor:in) / Knudson, Matt (Autor:in)

    Kongress:

    AIAA Information Systems-AIAA Infotech@Aerospace ; 2017 ; Grapevine, TX



    Erscheinungsdatum :

    2017-01-01


    Format / Umfang :

    10 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems

    Guarro, Sergio / Yau, Michael K. / Ozguner, Umit et al. | AIAA | 2017


    Formal Validation of Aerospace Software

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


    Advanced Navy Applications Using CREATE-AV™ Kestrel (AIAA 2014-0418)

    Shafer, T. / Green, B.E. / Hallissy, B.P. et al. | British Library Conference Proceedings | 2014


    Rapid Multi-Objective Aerodynamic Design Using Co-Kriging and Space Mapping (AIAA 2016-0418)

    Koziel, Slawomir / Tesfahunegn, Yonatan / Amrit, Anand et al. | British Library Conference Proceedings | 2016


    AIAA 2006-0418 Numerical Simulation of Stall and Stall Control in Axial and Radial Compressors

    Chen, J.-P. / Webster, R. S. / Hathaway, M. D. et al. | British Library Conference Proceedings | 2006