Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Runtime Verification of Systems with Hidden Information


    Beteiligte:

    Kongress:

    Infotech@Aerospace 2012



    Erscheinungsdatum :

    01.01.2012




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    2012-2608 Runtime Verification of Systems with Hidden Information

    Drusinsky, D. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2012


    Runtime Verification

    Alwyn E Goodloe | NTRS


    Runtime Verification of Stochastic Systems

    Wilcox, Cristina / Williams, Brian | AIAA | 2010


    Runtime Verification for Autonomous Spacecraft Software

    Goldberg, A. / Havelund, K. / McGann, C. et al. | British Library Conference Proceedings | 2005


    Runtime verification for autonomous spacecraft software

    Goldberg, A. / Havelund, K. / McGann, C. | Tema Archiv | 2005