cfaed Publications
Probabilistic Model Checking for Feature-Oriented Systems
Reference
Clemens Dubslaff, Christel Baier, Sascha Klüppelholz, "Probabilistic Model Checking for Feature-Oriented Systems", Chapter in Transactions on Aspect-Oriented Software Development XII, Springer, pp. 180–220, 2015. [doi]
Bibtex
@incollection{dubslaff2015probabilistic,
title={Probabilistic Model Checking for Feature-Oriented Systems},
author={Dubslaff, Clemens and Baier, Christel and Kl{\"u}ppelholz, Sascha},
booktitle={Transactions on Aspect-Oriented Software Development XII},
pages={180--220},
year={2015},
publisher={Springer},
doi={10.1007/978-3-662-46734-3_5}
}
title={Probabilistic Model Checking for Feature-Oriented Systems},
author={Dubslaff, Clemens and Baier, Christel and Kl{\"u}ppelholz, Sascha},
booktitle={Transactions on Aspect-Oriented Software Development XII},
pages={180--220},
year={2015},
publisher={Springer},
doi={10.1007/978-3-662-46734-3_5}
}
Downloads
No Downloads available for this publication
Related Paths
HAEC, Orchestration Path, Resilience Path
Permalink
https://cfaed.tu-dresden.de/publications?pubId=65