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]

@inproceedings{HerderBGHT06-0,
  title = {Construction of a Highly Dependable Operating System},
  author = {Jorrit N. Herder and Herbert Bos and Ben Gras and Philip Homburg and Andrew S. Tanenbaum},
  year = {2006},
  doi = {10.1109/EDCC.2006.7},
  url = {http://dx.doi.org/10.1109/EDCC.2006.7},
  tags = {operating system},
  researchr = {https://researchr.org/publication/HerderBGHT06-0},
  cites = {0},
  citedby = {0},
  pages = {3-12},
  booktitle = {Sixth European Dependable Computing Conference, EDCC 2006, Coimbra, Portugal, 18-20 October 2006},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2648-9},
}