共 12 条
[1]
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS,
2013, 43 (03)
:488-503
[2]
Butler R.W., 1998, P AIAA IEEE 17 DIG A
[4]
Furukawa H, 2003, IEEE SYS MAN CYBERN, P832
[6]
Horiguchi Y., 2007, P 2007 IEEE INT C SY, P2570
[7]
Horiguchi Y., 2006, P SICE ICASE INT JOI, P943
[8]
Hyundai Motor Co, 2013, EQUUS MAN
[9]
ISO, 1997, 15662 ISO