Towards verification of human performance models through formal methods
Computer software -- Verification; Expert systems (Computer science); Expert systems (Computer science) -- Verification
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.