A Method for the Formal Verification of Human-interactive...

Proceedings of the Human Factors and Ergonomics Society Annual Meeting 2009 / 10 Vol. 53; Iss. 12

A Method for the Formal Verification of Human-interactive Systems

Bolton, Matthew L, Bass, Ellen J.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
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
Conversion to is in progress
Conversion to is failed