- Titel:
Symbolic Reliability Analysis of Self-healing Networked Embedded Systems
- Autor(en):
- Glaß, Michael; Lukasiewycz, Martin; Reimann, Felix; Haubelt, Christian; Teich, Jürgen
- Kongress- / Buchtitel:
- Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP)
- Verlagsort:
- Newcastle upon Tyne, UK
- Jahr:
- 2008
- Seiten:
- 139--152
- BibTeX