Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings
type: Item
instance of: scholarly article
title: Formal methods and stochastic models for performance evaluation. Fourth European performance engineering workshop, EPEW 2007, Berlin, Germany, September 27--28, 2007. Proceedings
zbMATH Open document ID: 1142.68012
DOI: 10.1007/978-3-540-75211-0
published in: Lecture Notes in Computer Science
publication date: 2008-07-17T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 5301285
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-540-75211-0
OpenAlex ID: W2501525213
Recommended article: Formal methods and stochastic models for performance evaluation. Third European performance engineering workshop, EPEW 2006, Budapest, Hungary, June 21--22, 2006. Proceedings.
Recommended article: Q2381090
Recommended article: Process algebra and probabilistic methods. Performance modelling and verification. Joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12--14, 2001. Proceedings
Recommended article: Computer performance engineering. 7th European performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23--24, 2010. Proceedings
Recommended article: 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
Recommended article: Process algebra and probabilistic methods. Performance modeling and verification. 2nd joint international workshop, PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25--26, 2002. Proceedings
Recommended article: Q4547763
Recommended article: Modelling and performance evaluation methodology. Proceedings of the International Seminar, Paris, France, January 24-26, 1983. (INRIA)
Recommended article: A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
description: scientific article; zbMATH DE number 5301285