Return to search

Towards verification of human performance models through formal methods

No description available.

1. https://stars.library.ucf.edu/rtd/825

Identifer	oai:union.ndltd.org:ucf.edu/oai:stars.library.ucf.edu:rtd-1824
Date	01 October 2003
Creators	Enciso, Lauro
Publisher	STARS
Source Sets	University of Central Florida
Language	English
Detected Language	English
Type	text
Source	Retrospective Theses and Dissertations