Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification of Adaptive Systems


    Beteiligte:
    Pullum, Laura (Autor:in) / Cui, Xiaohui (Autor:in) / Vassev, Emil (Autor:in) / Hinchey, Michael (Autor:in) / Rouff, Christopher (Autor:in) / Buskens, Richard (Autor:in)

    Kongress:

    Infotech@Aerospace 2012



    Erscheinungsdatum :

    2012-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    2012-2478 Verification of Adaptive Systems

    Pullum, L. / Cui, X. / Vassev, E. et al. | British Library Conference Proceedings | 2012


    Bounded Verification of Adaptive Flight Control Systems

    Tiwari, A. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010



    Validation & Verification of Intelligent and Adaptive Control Systems

    Tallant, G. S. / Hull, R. A. / Johnson, T. et al. | British Library Conference Proceedings | 2005


    Validation & verification of intelligent and adaptive control systems

    Crum, V.W. / Buffington, J.M. / Tallant, G.S. et al. | IEEE | 2004