Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings

DOI10.1007/978-3-540-75211-0zbMATH Open1142.68012OpenAlexW2501525213MaRDI QIDQ932893FDOQ932893

Authors:

Publication date: 17 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75211-0

Recommendations

Formal methods and stochastic models for performance evaluation. Third European performance engineering workshop, EPEW 2006, Budapest, Hungary, June 21--22, 2006. Proceedings.
Formal methods for performance evaluation. 7th international school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28 -- June 2, 2007. Advanced lectures
Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12--14, 2001. Proceedings
Computer performance engineering. 7th European performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23--24, 2010. Proceedings
Lectures on Formal methods and performance analysis. 1st EEF/Euro summer school on trends in computer science, Berg en Dal, the Netherlands, July 3--7, 2000. Revised lectures
Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings
scientific article; zbMATH DE number 1786471
Modelling and performance evaluation methodology. Proceedings of the International Seminar, Paris, France, January 24-26, 1983. (INRIA)
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited In (1)

Applying formal methods: testing, performance, and M/E-commerce. FORTE 2004 workshops the FormEMC, EPEW, ITM, Toledo, Spain, October 1--2, 2004. Proceedings

This page was built for publication: Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q932893)