Formal verification of the correctness in hybrid expert systems.

Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung

Browse the full KES paper archive.