Formal Methods and Stochastic Models for Performance Evaluation
Wolter, Katinka.
Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / [electronic resource] : edited by Katinka Wolter. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4748 0302-9743 ; .
9783540752110
Método formal (Informática)--Congresos
Sistemas por computador --Evaluación--Congresos
QA76.9.F67 / W65 2007
Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / [electronic resource] : edited by Katinka Wolter. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4748 0302-9743 ; .
9783540752110
Método formal (Informática)--Congresos
Sistemas por computador --Evaluación--Congresos
QA76.9.F67 / W65 2007