On the Construction of Human-Automation Interfaces by Formal Abstraction

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-45622-8_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automation Transparency: Implications of Uncertainty Communication for Human-Automation Interaction and Interfaces

Ergonomics
Physical TherapySports TherapyHuman FactorsErgonomicsRehabilitation
2019English

Towards Abstraction and Automation in Software Engineering

The Winnower
2014English

Evaluating a Data Abstraction Testing System Based on Formal Specifications.

1980English

Network Automation and Abstraction Using Python Programming Methods

MACRo 2015
2017English

Development of the Integrated Construction Automation Methodology

1986English

ISARC Proceedings of the 15th International Symposium on Automation and Robotics in Construction : Automation and Robotics--Todays Reality in Construction : Bauma 98

1998English

An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis

2015English

The Human Impact of Automation

IEEE Control Systems Magazine
1986English

From Documents to User Interfaces Universal Design and the Emergence of Abstraction

Australasian Journal of Information Systems
AccountingManagementInformation SystemsHuman-Computer InteractionBusiness
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy