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 QIDQ932893

Author name not available (Why is that?)

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

Mathematics Subject Classification ID

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

Related Items (1)

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

Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings 👍 👎
• Computer performance engineering. 7th European performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23--24, 2010. Proceedings 👍 👎
• 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 👍 👎
• 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 modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12--14, 2001. 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)