No abstract available


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Dependability Quantification and Assurance of Mission-Critical Software Systems


    Beteiligte:
    Nikora, Allen (Autor:in) / Trivedi, Kishor (Autor:in) / Ciardo, Gianfranco (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    10.08.2011


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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