Author: Matthew L. Bolton
Publication Overview
Publication period start: 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.
(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