Verifying Controlled Components.

Steve A. Schneider Helen Treharne

Published in: IFM (2004)

Keyphrases

wide range
model checking
real time
decision making
pattern recognition
real world
artificial intelligence
image processing
multimedia
case study
database systems
preprocessing
multiresolution