| |
EuroSys Workshop on Virtualization Technology for Dependable Systems, Vol. VTDS'09 (March 2009)
|
| |
|
| |
IEEE Trans. Dependable Secur. Comput. In Dependable and Secure Computing, IEEE Transactions on, Vol. 1, No. 1. (January 2004), pp. 11-33.
|
| |
Doctoral Consortium (DCSOFT 2008), Vol. the 3rd International Conference on Software and Data Technologies (ICSOFT 2008) (July 2008)
|
| |
ACM Comput. Surv., Vol. 22, No. 4. (December 1990), pp. 299-319.
|
| |
Real-Time Syst., Vol. 6, No. 3. (1994), pp. 289-316.
|
| |
|
| |
In In Proceedings of the 2002 Symposium on Operating Systems Design and Implementation (OSDI, Vol. 36 (2002), pp. 211-224.
|
| |
In SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles, Vol. 29, No. 5. (December 1995), pp. 1-11.
|
| |
|
| |
|
| |
Computer Safety, Reliability and Security (1999), pp. 71-71.
|
| |
Computer Security — ESORICS 94 (1994), pp. 247-266.
|
| |
Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on In Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on (1998), pp. 70-79.
|
| |
Radio Technical Commission for Aeronautics (RTCA), European Organization for Civil Aviation Electronics (EUROCAE), DO178-B (1992)
|
| |
|
| |
In 1987 {IEEE} Symposium on Security and Privacy (1987), pp. 184-194.
|
| |
MITRE Co., technical report ESD-TR 76-372 (1977)
|
| |
In SOSP '03: Proceedings of the nineteenth ACM symposium on Operating systems principles (2003), pp. 164-177.
|
| |
Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., Twenty-Fifth International Symposium on In Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., Twenty-Fifth International Symposium on (06 August 2002), 2.
|
Search
