Login / Signup
Effective verification of systems with a dynamic number of components.
Pavlína Vareková
Pavel Moravec
Ivana Cerná
Barbora Zimmerova
Published in:
SAVCBS (2007)
Keyphrases
</>
computational complexity
small number
real time
neural network
social networks
distributed systems
computer systems
building blocks
genetic algorithm
case study
multiscale
digital libraries
expert systems
management system
dynamic environments
complex systems