Thursday, August 13, 2009

Look at complexity associated with microkernel size


However, microkernel might be formally verified.

Comments: Post a Comment



<< Home

This page is powered by Blogger. Isn't yours?