cfaed Publications
ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking
Reference
Philipp Chrszon, Clemens Dubslaff, Sascha Klüppelholz, Christel Baier, "ProFeat: Feature-oriented Engineering for Family-based Probabilistic Model Checking", In Formal Aspects of Computing, 2017.
Bibtex
@article{CDKB17,
author = {Philipp Chrszon and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Christel Baier},
title = {{ProFeat}: Feature-oriented Engineering for Family-based Probabilistic Model Checking},
journal = {Formal Aspects of Computing},
year = {2017},
note = {Accepted for publication},
}
author = {Philipp Chrszon and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Christel Baier},
title = {{ProFeat}: Feature-oriented Engineering for Family-based Probabilistic Model Checking},
journal = {Formal Aspects of Computing},
year = {2017},
note = {Accepted for publication},
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=1549