Timing analysis of a protected operating system kernel

10.1109/RTSS.2011.38

Saved in:

Bibliographic Details
Main Authors:	Blackham, B., Shi, Y., Chattopadhyay, S., Roychoudhury, A., Heiser, G.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Operating system kernels Real time systems Software verification and validation
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/42096
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

Description
Summary:	10.1109/RTSS.2011.38

Similar Items