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.

Download

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
Date Deposited: 02 May 2007
Last Modified: 27 Mar 2014 18:23
URI: http://eprints.soton.ac.uk/id/eprint/36414

Actions (login required)

View Item View Item