Formalization of Component Substitutability.

Meriem Belguidoum Fabien Dagnat

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

information systems
pattern recognition
pairwise
formal model
real world
computer vision
decision trees
operational semantics