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