Topic
Program verification (Computers)
45 books
Land surface temperature measurements from EOS MODIS data: semi-annual report ... for July-December, 1993
principal investigator, Zhengming Wan.
Software project management and measurement on the World-Wide-Web (WWW)
by John Callahan and Sudhakar Ramakrishnan.
Performance validation of the ANSER control laws for the F-18 HARV
Michael D. Messina.
Verification and validation of a reliable multicast protocol
by John R. Callahan and Todd L. Montgomery.
Development of a software safety process and a case study of its use: annual progress report / submitted by John C. Knight.
John C. Knight
UNIX-based operating systems robustness evaluation
Yu-Ming Chang.
UNIX-based operating systems robustness evaluation
Yu-Ming Chang.
The specification-based validation of Reliable Multicast Protocol: problem report
Yunqing Wu.
Proceedings of the Nineteenth Annual Software Engineering Workshop
Software Engineering Workshop (19th 1994 Greenbelt, Md.)
Validation of the NPARC code for nozzle afterbody flows at transonic speeds
James R. DeBonis and Nicholas J. Georgiadis, Crawford F. Smith.
Showing 10 of 45 books