Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction-Reference-Cited by-同舟云学术

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction

Published:2014-10 Issue:5 Volume:44 Page:561-575
ISSN:2168-2291
Container-title:IEEE Transactions on Human-Machine Systems
language:
Short-container-title:IEEE Trans. Human-Mach. Syst.

Author:

Bolton Matthew L.,Jimenez Noelia,van Paassen Marinus M.,Trujillo Maite

Funder

ITT AO-6967¿Verification Models for Advanced Human¿Automation Interaction in Safety Critical Flight Operations from the European Space Agency

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Artificial Intelligence,Computer Networks and Communications,Computer Science Applications,Human-Computer Interaction,Signal Processing,Control and Systems Engineering,Human Factors and Ergonomics

Link

http://ieeexplore.ieee.org/iel7/6221037/6898062/06843972.pdf

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bottlenecks to the Implementation of Automation and Robotics in the Construction Industry;Lecture Notes in Civil Engineering;2023

2. Modeling of Personalized Privacy Disclosure Behavior: A Formal Method Approach;The 16th International Conference on Availability, Reliability and Security;2021-08-17

3. Balancing the formal and the informal in user-centred design;Interacting with Computers;2021-01

4. Supporting the Analysis of Safety Critical User Interfaces;ACM Transactions on Computer-Human Interaction;2020-10-05

5. Formalizing Human–Machine Interactions for Adaptive Automation in Smart Manufacturing;IEEE Transactions on Human-Machine Systems;2019-12