Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

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



    Publication date :

    2013-01-01


    Size :

    58 pages


    Remarks:

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




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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