Construction of a Highly Dependable Operating System

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]

Authors

Jorrit N. Herder

This author has not been identified. Look up 'Jorrit N. Herder' in Google

Herbert Bos

This author has not been identified. Look up 'Herbert Bos' in Google

Ben Gras

This author has not been identified. Look up 'Ben Gras' in Google

Philip Homburg

This author has not been identified. Look up 'Philip Homburg' in Google

Andrew S. Tanenbaum

This author has not been identified. It may be one of the following persons: Look up 'Andrew S. Tanenbaum' in Google