A modelling approach to KBS verification

Vanthienen, J., Aerts, A., Mues, C. and Wets, G. (1995) A modelling approach to KBS verification. In, Proceedings of the 3rd European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV '95), Chambéry, France, 26 - 28 Jun 1995. , 155 -171.


Full text not available from this repository.

Item Type: Conference or Workshop Item (Paper)
Subjects: Z Bibliography. Library Science. Information Resources > ZA Information resources
H Social Sciences > HD Industries. Land use. Labor > HD28 Management. Industrial Management
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : University Structure - Pre August 2011 > School of Management
ePrint ID: 36414
Accepted Date and Publication Date:
Date Deposited: 02 May 2007
Last Modified: 31 Mar 2016 12:05
URI: http://eprints.soton.ac.uk/id/eprint/36414

Actions (login required)

View Item View Item