Towards verification of human performance models through formal methods
Keywords
Computer software -- Verification; Expert systems (Computer science); Expert systems (Computer science) -- Verification
Notes
This item is only available in print in the UCF Libraries. If this is your thesis or dissertation, you can help us make it available online for use by researchers around the world by STARS for more information.
Graduation Date
Fall 2003
Advisor
Gonzalez, Avelino J.
Degree
Master of Science (M.S.)
College
College of Engineering
Department
Electrical Engineering and Computer Science
Format
Pages
212 p.
Language
English
Length of Campus-only Access
None
Access Status
Masters Thesis (Open Access)
Subjects
Dissertations, Academic -- Engineering; Engineering -- Dissertations, Academic
STARS Citation
Enciso, Lauro, "Towards verification of human performance models through formal methods" (2003). Retrospective Theses and Dissertations. 825.
https://stars.library.ucf.edu/rtd/825