First Page | Document Content | |
---|---|---|
Date: 2014-04-07 06:29:40Monolithic kernels Microkernel Kernel Separation kernel Formal methods Linux kernel Operating system Operating system kernels Hybrid kernel Computer architecture Software System software | The University of York Department of Computer Science Submitted in part fulfilment for the degree of MSc in Software Engineering.Add to Reading ListSource URL: andrius.velykis.ltDownload Document from Source WebsiteFile Size: 1,45 MBShare Document on Facebook |