cfaed Publications

Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat

Reference

Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat" , In Proceeding: Proc. of the 19th International Conference on Fundamental Approaches to Software Engineering (FASE), Springer, vol. 9633, pp. 287–304, 2016.

Bibtex

@inproceedings{CDKB16,
author = {Philipp Chrszon, Clemens Dubslaff, Sascha Kl{\"u}ppelholz, Christel Baier},
title = {Family-Based Modeling and Analysis for
Probabilistic Systems - Featuring {ProFeat}},
booktitle = {Proc. of the 19th International Conference on
Fundamental Approaches to Software Engineering (FASE)},
pages = {287--304},
year = {2016},
ee = {http://dx.doi.org/10.1007/978-3-662-49665-7_17},
series = {Lecture Notes in Computer Science},
volume = {9633},
publisher = {Springer},
}

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

https://cfaed.tu-dresden.de/publications?pubId=1242


Go back to publications list