cfaed Publications

Formal Configuration of Fault-Tolerant Systems

Reference

Ing Linda Herrmann, "Formal Configuration of Fault-Tolerant Systems", 2018.

Bibtex

@article{herrmann2018formal,
title={Formal Configuration of Fault-Tolerant Systems},
author={Herrmann, Ing Linda},
year={2018}
}

Downloads

No Downloads available for this publication

Related Paths

Resilience Path

Permalink

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


Go back to publications list