![](/img/cover-not-exists.png)
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Bolton, Matthew L., Bass, Ellen J., Siminiceanu, Radu I.Volume:
43
Language:
english
Journal:
IEEE Transactions on Systems, Man, and Cybernetics: Systems
DOI:
10.1109/tsmca.2012.2210406
Date:
May, 2013
File:
PDF, 394 KB
english, 2013