Author:
Bolton Matthew L.,Bass Ellen J.,Siminiceanu Radu I.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Science Applications,Human-Computer Interaction,Control and Systems Engineering,Software
Cited by
118 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach;2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC);2023-10-01
2. Validating communication of a dynamic traffic management system;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
3. Emoticontrol: Emotions-based Control of User-Interfaces Adaptations;Proceedings of the ACM on Human-Computer Interaction;2023-06-14
4. Example Applications of Formal Methods to Aerospace and Autonomous Systems;2023 IEEE International Conference on Assured Autonomy (ICAA);2023-06
5. Cognitive Modeling for Cognitive Engineering;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11