Using Formal Verification to Evaluate Human-Automation Interaction: A Review release_wyikgvbyunglba3fpac5stpr6u

by Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu

Published in IEEE Transactions on Systems, Man & Cybernetics. Systems by Institute of Electrical and Electronics Engineers (IEEE).

2013   Volume 43, p488-503

Archived Files and Locations

application/pdf  407.6 kB
file_b36jsr4m3vd3zjby3k5wphdobm
fhsl.eng.buffalo.edu (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2013
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  2168-2216
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: dcc5e603-02f7-467a-8343-b8c8442c7a75
API URL: JSON