Dataflow Analysis for Properties of Aspect Systems.

Yevgenia Alperin-Tsimerman Shmuel Katz

Published in: Haifa Verification Conference (2009)

Keyphrases

expert systems
quantitative analysis
genetic algorithm
case study
distributed systems
complex systems
databases
artificial neural networks
user interface
statistical analysis