SCOPUS 정보 검색 플랫폼

Volumn 44, Issue 1, 2002, Pages 28-43

Formal verification of human-automation interaction

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONTROL SYSTEMS; ERROR DETECTION; MODEMS; PERSONNEL TRAINING; TRAINING AIRCRAFT;

MACHINES;

MAN MACHINE SYSTEMS;

AIRCRAFT; AIRPLANE PILOT; ARTICLE; AUTOMATION; CONTROL SYSTEM; HUMAN; MAN MACHINE INTERACTION; OPERATOR; TRAINING;

AVIATION; HUMANS; MAN-MACHINE SYSTEMS; TASK PERFORMANCE AND ANALYSIS;

EID: 0036301137 PISSN: 00187208 EISSN: None Source Type: Journal
DOI: 10.1518/0018720024494838 Document Type: Article

Times cited : (132)

References (19)

2
- 85007251872
- Automated cockpits: Who’s in charge?
- (1995) Aviation Week and Space Technology , vol.142 , Issue.5 , pp. 52-65

3
- 85007266492
- Automated cockpits: Who’s in charge?
- (1995) Aviation Week and Space Technology , vol.142 , Issue.6 , pp. 48-57

4
- 0001080503
- Using voluntary incident reports for human factors evaluations
- N. Johnston, N. McDonald, & R. Fuller (Eds.). Hants, England: Avebury Technical
- (1994) Aviation psychology in practice , pp. 149-169
- Chappel, S.L.¹

5
- 0003841186
- (NASA Tech. Memorandum 209600). Moffett Field, CA: NASA Ames Research Center
- (2000) Some formal aspects of human-automation interaction
- Degani, A.¹ Heymann, M.² Meyer, G.³ Shafto, M.⁴

6
- 0033417540
- Modes in human-machine systems: Constructs, representation, and classification
- (1999) International Journal of Aviation Psychology , vol.9 , Issue.2 , pp. 125-138
- Degani, A.¹ Shafto, M.² Kirlik, A.³

7
- 0004060397
- (NASA Tech. Memorandum 2002-211397). Moffett Field, CA: NASA Ames Research Center
- (2002) On abstractions and simplifications in the design of human-automation interfaces
- Heymann, M.¹ Degani, A.²

8
- 0003343978
- The cognitive complexity of pilot-mode interaction: A possible explanation of Sarter and Woods' classical result
- G. Boy, C. Graeber, & J. Robert (Eds.). Montreal, Canada: Ecole Polytechnique de Montreal
- (1998) Proceedings of the International Conference on Human-Computer Interaction in Aeronautics , pp. 49-54
- Javaux, D.¹ De Keyser, V.²

9
- 0028754916
- CAD: Computer aided disasters
- (1994) High Integrity Systems , vol.1 , Issue.2 , pp. 101-156
- Mellor, P.¹

10
- 0025705911
- The "problem" with automation: Inappropriate feedback and interaction, not "over-automation"
- (1990) Philosophical Transactions of the Royal Society of London , vol.B327 , pp. 585-593
- Norman, D.A.¹

11
- 0033705992
- A model for the types and levels of human interaction with automation
- (2000) IEEE Transaction on Systems, Man, and Cybernetics-Part A: Systems and Humans , vol.30 , Issue.3 , pp. 286-297
- Parasuraman, R.¹ Sheridan, T.B.² Wickens, C.D.³

12
- 2142695504
- Applications of control theory in human factors - II
- (1977) Human Factors , vol.19 , Issue.5
- Rouse, W.B.¹

13
- 0029257139
- How in the world did I ever get into that mode? Mode error and awareness in supervisory control
- (1995) Human Factors , vol.37 , pp. 5-19
- Sarter, N.B.¹ Woods, D.D.²

14
- 0003470497
- Mahwah, NJ: Erlbaum
- (1999) Cognitive work analysis
- Vicente, K.J.¹

16
- 0004030774
- (NASA Contractor Report 177528). Moffett Field, CA: NASA Ames Research Center
- (1989) The human factors of advanced technology ("glass cockpit") transport aircraft
- Wiener, E.L.¹

17
- 0003138821
- Crew coordination and training in the advanced-technology cockpit
- E. L. Wiener, B. G. Kanki, & R. L. Helmreich (Eds.). San Diego: Academic
- (1993) Cockpit resource management , pp. 199-226
- Wiener, E.L.¹

19
- 0001935175
- Automation surprises
- G. Salvendy (Ed.). New York: John Wiley
- (1997) Handbook of human factors and ergonomics , pp. 1926-1943
- Woods, D.¹ Sarter, N.² Billings, C.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.