Vanthienen, J., Aerts, A., Mues, C. and Wets, G. (1995) A modelling approach to knowledge based systems verification. 11th Conference on AI for Applications (IEEE-CAIA'950) - Verification and Validation Workshop, Los Angeles, USA. 19 - 22 Feb 1995.
Record type:
Conference or Workshop Item
(Paper)
This record has no associated files available for download.
More information
Published date: 1995
Venue - Dates:
11th Conference on AI for Applications (IEEE-CAIA'950) - Verification and Validation Workshop, Los Angeles, USA, 1995-02-19 - 1995-02-22
Identifiers
Local EPrints ID: 36415
URI: http://eprints.soton.ac.uk/id/eprint/36415
PURE UUID: 89fcef13-aa99-4620-9a4a-f361500fdc45
Catalogue record
Date deposited: 02 May 2007
Last modified: 08 Apr 2022 01:38
Export record
Contributors
Author:
J. Vanthienen
Author:
A. Aerts
Author:
G. Wets
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.