共 29 条
[2]
[Anonymous], 2010, 156222010 ISO
[3]
[Anonymous], 1993, Usability Engineering, Vfirst, P165
[4]
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,
2013, 43 (03)
:488-503
[5]
Butler R.W., 1998, P AIAA IEEE 17 DIG A
[8]
Furukawa H, 2003, IEEE SYS MAN CYBERN, P832
[10]
Heymann M., 2013, Proceedings of the 5th International Conference on Automotive User Interfaces and Interactive Vehicular Applications - AutomotiveUI, V13, P142