External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Validation and Verification of KADS Data and Domain Knowledge

Alain Rouge, Jean Yves Lapicque, Florent Brossier, Yves Lozinguez. Validation and Verification of KADS Data and Domain Knowledge. In Jesús Cardeñosa, Pedro Meseguer, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. pages 69-83, Universidad Politécnica de Madrid, 1993.

Abstract

Abstract is missing.

runs on