Search Results - "Expert systems (Computer science)--Verification"

Computer-Aided Verification of Coordinating Processes : The Automata-Theoretic Approach

Authors: Robert P. Kurshan

Resource Type: eBook.

Subjects: Expert systems (Computer science)--Verification, System design, Manufacturing processes--Planning--Data processing, Computational complexity, Production planning--Data processing

Categories: MATHEMATICS / Complex Analysis

Towards verification of human performance models through formal methods

Authors: Enciso, Lauro

Committee Members: Gonzalez, Avelino J.

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