Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Analytical Validation Tools for Safety Critical Systems


    Beteiligte:
    Seiler, Peter (Autor:in) / Balas, Gary (Autor:in) / Packard, Andrew (Autor:in) / Topcu, Ufuk (Autor:in)

    Kongress:

    AIAA Infotech@Aerospace Conference



    Erscheinungsdatum :

    2009-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Analytical Validation Tools for Safety Critical Systems

    Seiler, P. / Balas, G. / Packard, A. et al. | British Library Conference Proceedings | 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