Formal Refinement for Operating System Kernels
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer London

9781846289668

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Separation Kernel

Formal Refinement for Operating System Kernels ◽

10.1007/978-1-84628-967-5_5 ◽

2007 ◽

pp. 211-316

Keyword(s):

Separation Kernel

Download Full-text

A Simple Kernel

Formal Refinement for Operating System Kernels ◽

10.1007/978-1-84628-967-5_3 ◽

2007 ◽

pp. 19-202

Keyword(s):

Simple Kernel

Download Full-text

The Simple Kernel's Organisation

Formal Refinement for Operating System Kernels ◽

10.1007/978-1-84628-967-5_2 ◽

2007 ◽

pp. 11-18

Download Full-text

Introduction

Formal Refinement for Operating System Kernels ◽

10.1007/978-1-84628-967-5_1 ◽

2007 ◽

pp. 1-10

Download Full-text

The Separation Kernel

Formal Refinement for Operating System Kernels ◽

10.1007/978-1-84628-967-5_4 ◽

2007 ◽

pp. 203-209

Keyword(s):

Separation Kernel

Download Full-text

Closing Thoughts

Formal Refinement for Operating System Kernels ◽

10.1007/978-1-84628-967-5_6 ◽

2007 ◽

pp. 317-322

Download Full-text