Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Methods for Intelligent Systems Design and Control


    Contributors:

    Conference:

    2018 AIAA Information Systems-AIAA Infotech @ Aerospace



    Publication date :

    2018-01-01




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Formal Methods for Intelligent Systems Design and Control (AIAA 2018-1368)

    Madni, Azad M. | British Library Conference Proceedings | 2018


    Semi-formal design methods for functional modelling of climate control systems

    Goethel, J. / Fuchs, M. / VDI; Gesellschaft Fahrzeug- und Verkehrstechnik | British Library Conference Proceedings | 1998


    Survey of Formal Methods for Intelligent Swarms

    W. Truszkowski / J. Rash / M. Hinchey et al. | NTIS | 2004



    Formal methods for control of nonlinear systems

    Li, Yinan / Liu, Jun | TIBKAT | 2023