A modelling approach to KBS verification


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

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Proceedings of the 3rd European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV '95), 1995-06-26 - 1995-06-28
Subjects:

ePrint ID: 36414
Date :
Date Event
1995Published
Date Deposited: 02 May 2007
Last Modified: 16 Apr 2017 22:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/36414

Actions (login required)

View Item View Item