|
[CDKB16]
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz and Christel Baier.
Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat.
In Proc. 19th International Conference on Fundamental Approaches to Software Engineering (FASE'16), volume 9633 of LNCS, pages 287-304, Springer.
2016.
[Proposes a formalism for modelling families of probabilistic systems with differing features and a tool for their analysis, which connects to PRISM through model translations.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|