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},
}
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