Formal comparison of separation kernel models
: GWV separation versus Rushby's non interference

  • A. Garcia Ramirez

Student thesis: Master

Abstract

Date of Award28 Feb 2014
Original languageEnglish
SupervisorJ. Schmaltz (Supervisor 1)

Cite this

'