Login / Signup
Matthew L. Bolton
ORCID
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 23
Top Topics
Formal Methods
Model Checking
Human Behavior
Mining Sequential
Top Venues
IEEE Trans. Hum. Mach. Syst.
SMC
Reliab. Eng. Syst. Saf.
Innov. Syst. Softw. Eng.
</>
Publications
</>