Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

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



    Publication date :

    2017-01-01


    Size :

    10 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    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