Symbolic Reliability Analysis of Self-healing Networked Embedded Systems.

Michael Gla, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jrgen Teich

Browse the full SAFECOMP paper archive.