Formal verification of human-automation interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction
with machines. It addresses the acute problem of detecting design errors in human-machine …
with machines. It addresses the acute problem of detecting design errors in human-machine …
Formal verification of human-automation interaction
A Degani, M Heymann - Human Factors, 2002 - search.proquest.com
This paper discusses a formal and rigorous approach to the analysis of operator interaction
with machines. It addresses the acute problem of detecting design errors in human-machine …
with machines. It addresses the acute problem of detecting design errors in human-machine …
Formal verification of human-automation interaction.
A Degani, M Heymann - Human Factors, 2002 - europepmc.org
This paper discusses a formal and rigorous approach to the analysis of operator interaction
with machines. It addresses the acute problem of detecting design errors in human-machine …
with machines. It addresses the acute problem of detecting design errors in human-machine …
[PDF][PDF] FORMAL VERIFICATION OF HUMAN-AUTOMATION INTERACTION
A DEGANI, M HEYMANN - csaws.cs.technion.ac.il
This paper discusses a formal and rigorous approach to the analysis of operator interaction
with machines. It addresses the acute problem of detecting design errors in human-machine …
with machines. It addresses the acute problem of detecting design errors in human-machine …
Formal verification of human-automation interaction
A Degani, M Heymann - Human factors, 2002 - pubmed.ncbi.nlm.nih.gov
This paper discusses a formal and rigorous approach to the analysis of operator interaction
with machines. It addresses the acute problem of detecting design errors in human-machine …
with machines. It addresses the acute problem of detecting design errors in human-machine …
[PDF][PDF] Formal Verification of Human-Automation Interaction
A Degani, M Heymann - 2008 - paradise.fi.muni.cz
On climb to 27,000 feet and leaving 26,500 feet. Memphis Center gave us a clearance to
descend to 24,000 feet. The aircraft had gone to “Capture” mode when the first officer …
descend to 24,000 feet. The aircraft had gone to “Capture” mode when the first officer …
[引用][C] Formal verification of human-automation interaction
A DEGANI, M HEYMANN - Human factors, 2002 - pascal-francis.inist.fr
Formal verification of human-automation interaction CNRS Inist Pascal-Francis CNRS
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …
[PDF][PDF] FORMAL VERIFICATION OF HUMAN-AUTOMATION INTERACTION
A DEGANI, M HEYMANN - core.ac.uk
This paper discusses a formal and rigorous approach to the analysis of operator interaction
with machines. It addresses the acute problem of detecting design errors in human-machine …
with machines. It addresses the acute problem of detecting design errors in human-machine …
[PDF][PDF] Formal Verification of Human-Automation Interaction
A Degani, M Heymann - 2008 - anna.fi.muni.cz
On climb to 27,000 feet and leaving 26,500 feet. Memphis Center gave us a clearance to
descend to 24,000 feet. The aircraft had gone to “Capture” mode when the first officer …
descend to 24,000 feet. The aircraft had gone to “Capture” mode when the first officer …
Formal verification of human-automation interaction
A Degani, M Heymann - Human Factors, 2002 - go.gale.com
This paper discusses a formal and rigorous approach to the analysis of operator interaction
with machines. It addresses the acute problem of detecting design errors in human-machine …
with machines. It addresses the acute problem of detecting design errors in human-machine …