Decompositional Verification of Component-based Systems-A Hybrid Approach.

Published in: ASE (2004)

Keyphrases

neural network
artificial neural networks
genetic algorithm
distributed systems
data sets
databases
artificial intelligence
intelligent systems
learning systems
retrieval systems
formal methods