The necessity of verification tools for Knowledge Based-Systems (KBSs), that help to guarantee a certain degree of quality and reliability of these systems will increase in the future when more critical systems are developed in areas such as industry, science,…
Fecha:
2005-06-01
Recurso:
SCIELO
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®