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 |
| Item ID: | 36414 |
| Date Deposited: | 02 May 2007 |
| Last Modified: | 02 Mar 2012 13:07 |
| Contributors: | Vanthienen, J. (Author) Aerts, A. (Author) Mues, C. (Author) Wets, G. (Author) |
| Date: | 1995 |
| Status: | Published |
| URI: | http://eprints.soton.ac.uk/id/eprint/36414 |
Actions (login required)
 |
View Item |
