![](/img/cover-not-exists.png)
Compositional Dependability Evaluation for STATEMATE
Bode, E., Herbstritt, M., Hermanns, H., Johr, S., Peikenkamp, T., Pulungan, R., Rakow, J., Wimmer, R., Becker, B.Volume:
35
Year:
2009
Language:
english
DOI:
10.1109/tse.2008.102
File:
PDF, 3.88 MB
english, 2009