P. D. White

Publication Activity (10 Years)

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

Publications

W. B. Martin, P. D. White, F. S. Taylor
Creating High Confidence in a Separation Kernel. Autom. Softw. Eng. 9 (3) (2002)
W. B. Martin, P. D. White, W. Mark Vanfleet
Government, industry, and academia: Teaming to design high confidence information security applications. FMSP (2000)
Forouzan Golshani, W. T. Scott, P. D. White
Languages for intelligent specification systems. ICCL (1988)