BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Year 2013
article-journal
Stage
published
Year 2013
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar