![](/img/cover-not-exists.png)
A Method for the Formal Verification of Human-interactive Systems
Bolton, Matthew L, Bass, Ellen J.Volume:
53
Language:
english
Journal:
Human Factors and Ergonomics Society Annual Meeting Proceedings
DOI:
10.1518/107118109x12524442637309
Date:
October, 2009
File:
PDF, 604 KB
english, 2009