Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs - Hoffmann, Martin; Borchert, Christoph; Dietrich, Christian; Schirmeier, Horst; Kapitza, Rüdiger; Spinczyk, Olaf; Lohmann, Daniel (Proceedings of the 17th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC '14), 2014)
UnivIS-Import:2015-04-16:Pub.2014.tech.IMMD.IMMD4.effect
Keywords: DanceOS; dosek; osek; dependability; static system