Peter Fischer, Florian Nafz, Hella Seebach, Wolfgang Reif. Ensuring correct self-reconfiguration in safety-critical applications by verified result checking. In Christian Müller-Schloer, Hartmut Schmeck, Theo Ungerer, editors, Proceedings of the 2011 workshop on Organic computing, OC@ICAC 2011, Karlsruhe, Germany, June 18, 2011. pages 3-12, ACM, 2011. [doi]
Abstract is missing.