- Title:
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems
- Author(s):
- Glaß, Michael; Lukasiewycz, Martin; Reimann, Felix; Haubelt, Christian; Teich, Jürgen
- Book / Congress title:
- Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP)
- Publisher address:
- Newcastle upon Tyne, UK
- Year:
- 2008
- Pages:
- 139--152
- BibTeX