Towards verification of human performance models through formal methods
Computer software -- Verification; Expert systems (Computer science); Expert systems (Computer science) -- Verification
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 downloading and filling out the Internet Distribution Consent Agreement. You may also contact the project coordinator Kerri Bottorff for more information.
Gonzalez, Avelino J.
Master of Science (M.S.)
College of Engineering
Electrical Engineering and Computer Science
Length of Campus-only Access
Masters Thesis (Open Access)
Dissertations, Academic -- Engineering; Engineering -- Dissertations, Academic
Enciso, Lauro, "Towards verification of human performance models through formal methods" (2003). Retrospective Theses and Dissertations. 825.