cfaed Publications

Computing Conditional Probabilities: Implementation and Evaluation

Reference

Steffen Märcker and, "Computing Conditional Probabilities: Implementation and Evaluation" , In Proceeding: Proc. of the 15th International Conference on Software Engineering and Formal Methods (SEFM), 2017.

Bibtex

@inproceedings{MBKK17,
author = {Steffen M{\"a}rcker and
Christel Baier and
Joachim Klein and
Sascha Kl{\"u}ppelholz},
title = {Computing Conditional Probabilities:
Implementation and Evaluation},
booktitle = {Proc. of the 15th International Conference on
Software Engineering and Formal Methods (SEFM)},
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=1552


Go back to publications list