|
|
Holloway, C.M. "What is Formal Methods?" http://atb-www.larc.nasa.gov/fm/fm-what.html, NASA Langley Formal Methods Team's World-Wide Web pages, accessed February 17, 2001.
Holloway, C.M. "What is Formal Methods?" http://atb-www.larc.nasa.gov/fm/fm-what.html, NASA Langley Formal Methods Team's World-Wide Web pages, accessed February 17, 2001.
Neumann, P.G., moderator. http://catless.ncl.ac.uk/Risks, a Web-accessible posting of the Risks Forum, a monthly USENET newsletter about computer risks and failures, accessed July 27, 2000.
Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems and Related Technology., accessed July 27, 2000.
Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems, Commercial Aviation. (www.csl.sri.com/neumann/illustrative.html#9), accessed July 27, 2000.
Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems, Rail, Bus, and Other Public Transit, accessed July 27, 2000.
Potter, B., J. Sinclair, and D. Till. An Introduction to Formal Specification and Z, 2nd edition, Prentice Hall International Series in Computer Science, Englewood Cliffs, NJ, 1996, ISBN 0-13-242207-7.
The Software Engineering Institute Web site, www.sei.cmu.edu/sei-home.html.
Wilkinson, J.H., Rounding Errors in Algebraic Processes. Notes on Applied Science, No. 32, Her Majesty's Stationery Office, London, 1963. Also published by Prentice Hall, Englewood Cliffs, NJ, and Dover, NY, 1994, ISBN 0-486-67999-3.
 |
TFHRC Home | FHWA Home | Feedback
United States Department of Transportation - Federal Highway Administration |