Sciweavers

3 search results - page 1 / 1
» kes 1997
Sort
View
KES
1997
Springer
13 years 9 months ago
Formal verification of the correctness in hybrid expert systems
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung