Formal and informal approaches for validation.

Published in: COMPSAC (1991)

Keyphrases

real world
data streams
strengths and weaknesses
database
information systems
expert systems
information technology
formal model