Kelly J. Hayhurst

According to our database, Kelly J. Hayhurst authored at least 3 papers between 1991 and 1999.

Collaborative distances:

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

1999

Evaluating the Effectiveness of Independendent Verification and Validation.

James D. Arthur, Markus K. Gröner, Kelly J. Hayhurst, C. Michael Holloway

Computer, 1999

1998

System Requirements and Analysis Issues for High Assurance Systems.

Gary Johnson, John Calvert, Kelly J. Hayhurst, John Janeri, Herbert Hecht

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1991

A factoring approach for the stochastic shortest path problem.

Kelly J. Hayhurst, Douglas R. Shier

Oper. Res. Lett., 1991