Compositional Performability Evaluation for STATEMATE
Böde, Eckard and Herbstritt, Marc and Hermanns, Holger and Johr, Sven and Peikenkamp, Thomas and Pulungan, Reza and Wimmer, Ralf and Becker, Bernd
QEST '06: Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
09 / 2006
inproceedings
IEEE Computer Society Press
