Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Methods for Intelligent Systems Design and Control


    Beteiligte:
    Madni, Azad M. (Autor:in)

    Kongress:

    2018 AIAA Information Systems-AIAA Infotech @ Aerospace



    Erscheinungsdatum :

    01.01.2018




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




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

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


    Survey of Formal Methods for Intelligent Swarms

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


    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



    Formal methods for control of nonlinear systems

    Li, Yinan / Liu, Jun | TIBKAT | 2023