Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings - Wolter, Katinka; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Computer Communication Networks; Computer system performance; Software engineering; Logic design; Computer Science; Software Engineering; System Performance and Evaluation; Computer Communication Networks; Logics and Meanings of Programs