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

  • A. Garcia Ramirez

Scriptie/Masterproef: Master

Samenvatting

Datum prijs28 feb 2014
Originele taalEngels
BegeleiderJ. Schmaltz (Afstudeerdocent 1)

Citeer dit

'