No abstract available


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Dependability Quantification and Assurance of Mission-Critical Software Systems


    Contributors:

    Conference:

    NASA OSMA Software Assurance Symposium ; 2011 ; Washington, DC, United States


    Publication date :

    2011-08-10


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    Space product assurance - dependability

    European Cooperation for Space Standardization | SLUB | 1996


    Ensuring Dependability and Safety in the Development of Mission/Safety-Critical Software

    da Mota Silva, S. / Roeloffs, B. / Bugter, R. et al. | British Library Conference Proceedings | 2009


    Model-driven Mission Dependability Design of Unmanned Aerial Systems

    Nguyen, Tuan Anh / Jeon, Kwonsu / Lee, Jae-Woo et al. | AIAA | 2022


    Model-Driven Mission Dependability Design of Unmanned Aerial Systems

    Nguyen, Tuan Anh / Jeon, Kwonsu / Lee, Jae-Woo et al. | TIBKAT | 2022