On the Verification of Modules.

Grigoris Antoniou Volker Sperschneider

Published in: CSL (1989)

Keyphrases

model checking
building blocks
data sets
machine learning
formal methods
modular structure
face verification
real world
information systems
feature selection
case study
multiscale
functional modules
person identification
software modules