Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - EPEW 2006 (2006 : Budapest, Hungary); Horvath, Andras; Telek, Miklos; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Formal methods (Computer science) -- Congresses; Stochastic models -- Congresses; Computer systems -- Evaluation -- Congresses; Computer Science; Computer Communication Networks; Logics and Meanings of Programs; Software Engineering; System Performance and Evaluation