Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Runtime Verification of COTS Components for Safety Related Systems


    Beteiligte:
    Elks, Carl (Autor:in) / Johnson, B. (Autor:in)

    Kongress:

    AIAA 1st Intelligent Systems Technical Conference



    Erscheinungsdatum :

    01.01.2004




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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 Archiv | 1996


    COTS and costs in safety critical systems

    IET Digital Library Archive | 1997