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

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list