Verifying Invariants of Component-Based Systems through Refinement.

Olga Kouchnarenko Arnaud Lanoix

Published in: AMAST (2004)

Keyphrases

management system
intelligent systems
learning systems
database
data sets
building blocks
genetic algorithm
information systems
distributed systems
computer systems
computing systems