Formal methods and stochastic models for performance evaluation
Subtitle: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 ; proceedings
By: Katinka Wolter (ed.).
Contributors: Wolter, Katinka.
Series: Lecture notes in computer science -- 4748.; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 300
ISBN-13: 9783540752103
Subjects: Formal methods (Computer science) -- Congresses; Stochastic models -- Congresses; Computer systems -- Evaluation -- Congresses
Genres: Congresses.
Other titles: EPEW 2007.
Notes: International conference proceedings.

Includes bibliographical references and index.

Also issued online.