Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Integrated Safety Verification Techniques Applied to the Brazilian Satellite Launcher Vehicle Software


    Contributors:

    Conference:

    SpaceOps 2006 Conference



    Publication date :

    2006-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    A Software Modeling Approach Based on MDA for the Brazilian Satellite Launcher

    Burgareli, Luciana / Melnikoff, Selma / Ferreira, Mauricio | AIAA | 2008


    Development Status of the Brazilian VLS Satellite Launcher Program

    J. Boscov / P. Moraes / A. F. Palmerio et al. | NTIS | 1991


    Panel Flutter Analyses for the First Brazilian Satellite Launcher

    Damilano, J. G. / Said, J. C. / Azevedo, J. L. F. et al. | British Library Conference Proceedings | 1999


    On-Board Software Validation of a Satellite Launcher Vehicle

    Lahoz, C. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006


    Monte Carlo Performance Analysis of the Brazilian Satellite Launcher Vehicle Last Stage - Abstract

    Caleffi, T. / American Astronautical Society| American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 1996