Kelly J. Hayhurst

Publication Activity (10 Years)

Years Active: 1991-1999
Publications (10 Years): 0

Publications

James D. Arthur, Markus K. Gröner, Kelly J. Hayhurst, C. Michael Holloway
Evaluating the Effectiveness of Independendent Verification and Validation. Computer 32 (10) (1999)
Gary Johnson, John Calvert, Kelly J. Hayhurst, John Janeri, Herbert Hecht
System Requirements and Analysis Issues for High Assurance Systems. HASE (1998)
Kelly J. Hayhurst, Douglas R. Shier
A factoring approach for the stochastic shortest path problem. Oper. Res. Lett. 10 (6) (1991)