Shane G. Stephens

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Michael Hohmuth, Hendrik Tews, Shane G. Stephens
Applying source-code verification to a microkernel: the VFiasco project. ACM SIGOPS European Workshop (2002)
Shane G. Stephens, Gernot Heiser
Fault tolerance and avoidance in biomedical systems. ACM SIGOPS European Workshop (2002)