Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /

57

Bibliographic Details
Main Authors: EPEW 2007 (2007 : Berlin, Germany), Wolter, Katinka
Format:
Language:eng
Published: Berlin : Springer-Verlag, 2007
Subjects:
Formal methods (Computer science)
Stochastic models
Computer systems
Online Access:http://dx.doi.org/10.1007/978-3-540-75211-0

Internet

http://dx.doi.org/10.1007/978-3-540-75211-0

Similar Items