Formal Methods and Stochastic Models for Performance Evaluation
Publication year: 2007
ISBN: 978-3-540-75211-0
Internet Resource: Please Login to download book
This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.The 20 revised full papers presented were carefully reviewed and selected from 53 submissions.
Subject: Computer Science, QoS, algorithm, algorithms, benchmarking, calculus, formal method, formal methods, formal verification, model checking, optimization, performance engineering, performance evaluation, process algebra, program semantics, scheduling
