Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Systems of Systems Verification


    Beteiligte:

    Kongress:

    Infotech@Aerospace


    Erschienen in:

    Erscheinungsdatum :

    01.01.2005




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    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

    Freier Zugriff

    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