Towards verification of human performance models through formal methods

No description available.
Identiferoai:union.ndltd.org:ucf.edu/oai:stars.library.ucf.edu:rtd-1824
Date01 October 2003
CreatorsEnciso, Lauro
PublisherSTARS
Source SetsUniversity of Central Florida
LanguageEnglish
Detected LanguageEnglish
Typetext
SourceRetrospective Theses and Dissertations

Page generated in 0.0018 seconds