Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Runtime Verification of COTS Components for Safety Related Systems


    Contributors:
    Elks, Carl (author) / Johnson, B. (author)

    Conference:

    AIAA 1st Intelligent Systems Technical Conference



    Publication date :

    2004-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Runtime Verification

    Alwyn E Goodloe | NTRS


    Runtime Verification of Stochastic Systems

    Wilcox, Cristina / Williams, Brian | AIAA | 2010


    Safety-critical systems built with COTS

    Profeta, J.A. III / Andrianos, N.P. / Bing Yu et al. | Tema Archive | 1996


    COTS and costs in safety critical systems

    IET Digital Library Archive | 1997