Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking

Matthew L. Bolton, Ellen J. Bass. Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 43(6):1314-1327, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.