Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4748)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): EPEW: European Workshop on Performance Engineering
Conference proceedings info: EPEW 2007.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (21 papers)
-
Back Matter
Bibliographic Information
Book Title: Formal Methods and Stochastic Models for Performance Evaluation
Book Subtitle: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
Editors: Katinka Wolter
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-75211-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-75210-3Published: 17 September 2007
eBook ISBN: 978-3-540-75211-0Published: 08 September 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 304
Topics: Theory of Computation, Software Engineering, System Performance and Evaluation, Computer Communication Networks, Logics and Meanings of Programs