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