Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    MODSARE-V: Validation of Dependability and Safety Critical Software Components with Model Based Requirements



    Kongress:

    Conference; Budapest, Data systems in aerospace; DASIA 2010 ; 2010



    Erscheinungsdatum :

    2010-01-01


    Format / Umfang :

    16 pages


    Anmerkungen:

    Held in e-store (RMS)



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    MODSARE-V: validation of dependability and safety critical software components with model based requirements

    Maia Mozart Silveira, Daniel Tomas de / Schoofs, Tobias / Alana Salazar, Elena et al. | Tema Archiv | 2010


    Dependability validation, evaluation and testing of safety-critical aerospace systems

    Carreira, J. / Costa, D. / Eurospace | British Library Conference Proceedings | 1999


    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


    Software Dependability & Safety Methods According to ECSS

    Hernek, M. / International Association for the Advancement of Space Safety / European Space Agency | British Library Conference Proceedings | 2005


    SOFTWARE SAFETY AND DEPENDABILITY FOR RAILWAY CONTROL SYSTEMS

    Bryan, P.J. / Institution of Engineering and Technology | British Library Conference Proceedings | 2010