Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2006
Böde, E. and Herbstritt, M. and Hermanns, H. and Johr, S. and Peikenkamp, T. and Pulungan, R. and Wimmer, R. and Becker, B.
(2006)
Compositional Performability Evaluation for STATEMATE.
In: 3rd International Conference on Quantitative Evaluation of Systems, QEST 2006, 11-14 Sep 2006, Riverside, USA.
pp. 167-176.
IEEE Computer Society.
ISBN 0-7695-2665-9
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||