Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Analytical Validation Tools for Safety Critical Systems


    Contributors:
    Seiler, Peter (author) / Balas, Gary (author) / Packard, Andrew (author) / Topcu, Ufuk (author)

    Conference:

    AIAA Infotech@Aerospace Conference



    Publication date :

    2009-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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