Abstraction and Testing.

Steve A. Schneider

Published in: World Congress on Formal Methods (1999)

Keyphrases

high level
data abstraction
databases
computer vision
information systems
e learning
preprocessing
control system
state space