K. D. Jones

According to our database, K. D. Jones authored at least 3 papers between 1985 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1996

The Automatic Generation of Functional Test Vectors for Rambus Designs.

K. D. Jones, J. P. Privitera

Proceedings of the 33st Conference on Design Automation, 1996

1991

Mural - a formal development support system.

Clifford B. Jones, K. D. Jones, Peter Alexander Lindsay, Richard C. Moore

Springer, ISBN: 3-540-19651-X, 1991

1985

The application of a formal development method to a parallel machine environment.

K. D. Jones

PhD thesis, 1985