Title: Formal methods and stochastic models for performance evaluation
First published: 2006
Subjects: Congresses, Computer systems, Formal methods (Computer science), Stochastic models, Evaluation, Performance
LC classification: QA76.9.F67 E64 2006