Formal methods and stochastic models for performance evaluation
Subtitle: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings
By: András Horváth, Miklós Telek (eds.).
Contributors: Horváth, András.; Telek, Miklós.
Series: Lecture notes in computer science -- 4054
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 237
Subjects: Formal methods (Computer science) -- Congresses.; Stochastic models -- Congresses.; Computer systems -- Evaluation -- Congresses.
Genres: Congresses.
Other titles: European Performance Engineering Workshop, EPEW 2006; EPEW 2006
Notes: Includes bibliographical references and index.