Matthew L. Bolton

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2009
Publication period end
2010
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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. http://www.ingentaconnect.com/content/hfes/hfproc/2010/00000054/00000013/art00005

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. http://www.ingentaconnect.com/content/hfes/hfproc/2009/00000053/00000012/art00001