P. D. White

According to our database, P. D. White authored at least 3 papers between 1988 and 2002.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2002

Creating High Confidence in a Separation Kernel.

W. B. Martin, P. D. White, F. S. Taylor

Autom. Softw. Eng., 2002

2000

Government, industry, and academia: Teaming to design high confidence information security applications.

W. B. Martin, P. D. White, W. Mark Vanfleet

Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000

1988

Languages for intelligent specification systems.

Forouzan Golshani, W. T. Scott, P. D. White

Proceedings of the 1988 Internation Conference on Computer Languages, 1988