Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formally Verifying Human-Automation Interaction with Specification Properties Generated from Task Analytic Models



    Kongress:

    Conference; 6th, International Association for the Advancement of Space Safety ; 2013 ; Montreal, Canada



    Erscheinungsdatum :

    01.01.2013


    Format / Umfang :

    58 pages


    Anmerkungen:

    Includes bibliographical references; Held in e-store (RMS)




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formally Verifying Navigation Safety for Ground Robots

    Zhang, Manni / Zhang, Xinyu | British Library Conference Proceedings | 2016


    Formally verifying the correctness of a network-based protocol for railway signalling systems

    Hwang, J.-G. / Lee, J.-H. | British Library Conference Proceedings | 2005


    Interpretable Policies from Formally-Specified Temporal Properties

    DeCastro, Jonathan / Leung, Karen / Arechiga, Nikos et al. | IEEE | 2020


    Verifying Code Automatically Generated From an Executable Model

    Williams, Cheryl A. / Kropinski, Michael A. / Steele, Michael A. et al. | SAE Technical Papers | 2005


    Impact of Automation, Task and Context Features on Pilots' Perception of Human-Automation Interaction

    Mosier, K. / Fischer, U. / Durso, F. et al. | British Library Conference Proceedings | 2012