Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verification of Adaptive Systems


    Contributors:

    Conference:

    Infotech@Aerospace 2012



    Publication date :

    2012-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    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. / Bose, P. / Buffington, J.M. et al. | Tema Archive | 2005


    Validation & Verification of Intelligent and Adaptive Control Systems

    J. M. Buffington / V. Crum / B. Krogh et al. | NTIS | 2003