|
[CDF+13]
Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri, Vincenzo Grassi, Heiko Koziolek and Raffaela Mirandola.
The KlaperSuite Framework for Model-Driven Reliability Analysis of Component-Based Systems.
Software & Systems Modeling.
2013.
[Describes the KlaperSuite framework for model-driven reliability analysis, which builds on several tools including PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|