Title: Formal methods and stochastic models for performance evaluation
Subjects: Computer systems, Formal methods (Computer science), Congresses, Stochastic models, Evaluation