Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Heymann
On the Construction of Human-Automation Interfaces by Formal Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Aspects of Procedures: The Problem of Sequential Correctness
‹
1
2
Related publications
Automation Transparency: Implications of Uncertainty Communication for Human-Automation Interaction and Interfaces
Ergonomics
Physical Therapy
Sports Therapy
Human Factors
Ergonomics
Rehabilitation
Towards Abstraction and Automation in Software Engineering
The Winnower
Evaluating a Data Abstraction Testing System Based on Formal Specifications.
Network Automation and Abstraction Using Python Programming Methods
MACRo 2015
Development of the Integrated Construction Automation Methodology
ISARC Proceedings of the 15th International Symposium on Automation and Robotics in Construction : Automation and Robotics--Todays Reality in Construction : Bauma 98
An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis
The Human Impact of Automation
IEEE Control Systems Magazine
From Documents to User Interfaces Universal Design and the Emergence of Abstraction
Australasian Journal of Information Systems
Accounting
Management
Information Systems
Human-Computer Interaction
Business
