Formal Methods and Stochastic Models for Performance Evaluation
Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Katinka Wolter
Themen in »Formal Methods and Stochastic Models for Performance Evaluation«
QoS algorithm algorithms benchmarking calculus formal method formal methods formal verification model checking optimization performance engineering performance evaluation process algebra program semantics scheduling
Stimmen zu »Formal Methods and Stochastic Models for Performance Evaluation«
Details
ISBN: 9783540752110
Verlag: Springer Berlin
Erscheinung: 08.09.2007