Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations.

R. Phelps W. Aerts J.-M. Forêt

Published in: EUROVAV (1993)

Keyphrases

model checking
artificial intelligence
website
knowledge based systems
higher level
face verification
blood flow
object oriented design
similarity measure
black box
representation scheme
asynchronous circuits
flow patterns