Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum. Construction of a Highly Dependable Operating System. In Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006. pages 3-12, IEEE Computer Society, 2006. [doi]
Abstract is missing.