A Compositional Claim-based Component Certification Procedure.

Hailiang Mei Johan J. Lukkien Johan Muskens

Published in: EUROMICRO (2004)

Keyphrases

software components
search procedure
evolutionary algorithm
real time
real world
learning algorithm
website
image segmentation
multiscale