Formal techniques for performance analysis: blending SAN and PEPA.

Jane Hillston Leïla Kloul

Published in: Formal Aspects Comput. (2007)

Keyphrases

neural network
formal models
formal specification
information retrieval
formal methods
data storage
formal model
file system
formal representation
databases
general purpose
software engineering
hidden markov models
multi agent systems
case study
website
genetic algorithm