|
[RLK14]
Pedro Rodrigues, Emil Lupu and Jeff Kramer.
LTSA-PCA: tool support for compositional reliability analysis.
In 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, pages 548-551.
2014.
[Presents an extension of the LTSA model checker for compositional reliability analysis, which uses a connection to PRISM. ]
|
|
Links:
[Google]
[Google Scholar]
|