Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Systems of Systems Verification


    Contributors:

    Conference:

    Infotech@Aerospace


    Published in:

    Publication date :

    2005-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Verification of Adaptive Systems

    Pullum, Laura / Cui, Xiaohui / Vassev, Emil et al. | AIAA | 2012


    Verification of railway interlocking systems

    Busard, Simon / Cappart, Quentin / Limbrée, Christophe et al. | ArXiv | 2015

    Free access

    Runtime Verification of Stochastic Systems

    Wilcox, Cristina / Williams, Brian | AIAA | 2010


    Automated Vehicle Occupancy Verification Systems

    Ungemah, David / Lowery, John / Wikander, John et al. | Transportation Research Record | 2008


    Verification of NASA Emergent Systems

    Rouff, Christopher / Vanderbilt, Amy K. C. S. / Truszkowski, Walt et al. | NTRS | 2004