Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Analytical Validation Tools for Safety Critical Systems



    Kongress:

    AIAA Infotech@Aerospace conference; Exhibit and AIAA Unmanned ... Unlimited conference and exhibit 2009 ; 2009 ; Seattle, WA



    Erscheinungsdatum :

    2009-01-01


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Analytical Validation Tools for Safety Critical Systems

    Seiler, Peter / Balas, Gary / Packard, Andrew et al. | AIAA | 2009


    Analytical Tools for the Design and Verification of Safety Critical Control Systems

    Tejada, Arturo / González, Oscar R. / Gray, W. Steven | SAE Technical Papers | 2001



    OVADO: Enhancing Data Validation for Safety-Critical Railway Systems

    Fredj, Manel / Leger, Sven / Feliachi, Abderrahmane et al. | British Library Conference Proceedings | 2017


    SaSeVAL: A Safety/Security-Aware Approach for Validation of Safety-Critical Systems

    Wolschke, Christian / Sangchoolie, Behrooz / Simon, Jacob et al. | IEEE | 2021