Author:
Ligęza Antoni,Wojnicki Igor,Nalepa Grzegorz J.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Andert, E.P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. of Man-Machine Studies, 36, 1992, 357–373.
2. Coenen, F.: Verification and validation in expert and database systems: The expert systems perspective. A Keynote presentation in [17], 1998, 16–21.
3. Coenen, F.: Rulebase checking using a spatial representation. In [13], 1998, 166–175.
4. Coenen, F., B. Eaglestone and M. Ridley: Validation, verification and integrity in knowledge and data base systems: future directions. In [15], 1999, 297–311.
5. Gouyon, Jean-Paul: Kheops Users’s Guide, Report of Laboratoire d’Automatique et d’Analyse des Systemes, No.: 92503, 1994, Toulouse.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献