Towards Static Modular Software Verification.

Marcus Mews Steffen Helke

Published in: Software Engineering (Workshops) (2012)

Keyphrases

genetic algorithm
knowledge base
databases
data mining
search engine
three dimensional
reinforcement learning
object recognition
management system
modular structure
modular neural networks