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

Downloads

No Downloads available for this publication

Related Paths

HAEC, Orchestration Path, Resilience Path

Permalink

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


Go back to publications list