Author: Matthew L. Bolton

Publications

Co-authors

Ellen J. Bass

2

Productive Colleagues

Ellen J. Bass

4

Publications

Bolton, Matthew L., Bass, Ellen J. (2009): A Method for the Formal Verification of Human-interactive Systems. In: Proceedings of the Human Factors and Ergonomics Society 53rd Annual Meeting , 2009, . pp. 764-768. https://www.ingentaconnect.com/content/hfes/hfproc/2009/00000053/00000012/art00001

Bolton, Matthew L., Bass, Ellen J. (2010): Using Task Analytic Models and Phenotypes of Erroneous Human Behavior to Discover System F. In: Proceedings of the Human Factors and Ergonomics Society 54th Annual Meeting , 2010, . pp. 992-996. https://www.ingentaconnect.com/content/hfes/hfproc/2010/00000054/00000013/art00005