Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Human Control Strategy: Abstraction, Verification, and Replication


    Beteiligte:
    Nechyba, M. C. (Autor:in) / Xu, Y. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.01.1997


    Format / Umfang :

    14 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    629.8 / 629.805



    Human control strategy: abstraction, verification, and replication

    Nechyba, M.C. / Xu, Yangsheng | Tema Archiv | 1997


    Human-Swarm Interface for Abstraction Based Control

    Pollini, Lorenzo / Niccolini, Marta / Rosellini, Michele et al. | AIAA | 2009


    Human-Swarm Interface for Abstraction Based Control

    Pollini, L. / Niccolini, M. / Rosellini, M. et al. | British Library Conference Proceedings | 2009


    Integrating Abstraction Techniques for Formal Verification of Analog Designs

    Zaki, Mohamed H. / Denman, William / Tahar, Sofiène et al. | AIAA | 2009


    Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion

    Suraj Nandiganahalli, Jayaprakash / Lee, Sangjin / Hwang, Inseok | AIAA | 2016