Validation and verification of knowledge-based systems: report on EUROVAV99.

Frans Coenen Trevor J. M. Bench-Capon Robin Boswell Juliette Dibie-Barthélemy Barry Eaglestone Rik Gerrits Éric Grégoire Antoni Ligeza Luis M. Laita Mieczyslaw L. Owoc Florence Sellini Silvie Spreeuwenberg Jan Vanthienen Anca I. Vermesan Nirmalie Wiratunga

Published in: Knowl. Eng. Rev. (2000)

Keyphrases