Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-4 of 4 results for author "Levitt, Karl N."
Fault tolerant architectures for integrated aircraft electronics systems [microform] / Karl N. Levitt, P. Michael Melliar-Smith, Richard L. Schwartz.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; Springfield, Va. : For sale by the National Technical Information Service, [1983]
- 1983
The SRI hierarchical development methodology (HDM) and its application to the development of secure software / Karl N. Levitt, Peter Neumann, Lawrence Robinson ; sponsored by the Institute for Computer Sciences and Technology, National Bureau of Standards.
- Text
- Washington, D.C. : U.S. Department of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. G.P.O., 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text C 13.10:500-67 Off-site The SRI hierarchical development methodology (HDM) and its application to the development of secure software / Karl N. Levitt, Peter Neumann, Lawrence Robinson ; sponsored by the Institute for Computer Sciences and Technology, National Bureau of Standards.
- Text
- Washington, D.C. : U.S. Dept. of Commerce, National Bureau of Standards : For sale by the Supt. of Docs., U.S. G.P.O., 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text C 13.10:500-67 Off-site The SRI hierarchical development methodology (HDM) and its application to the development of secure software / Karl N. Levitt, Peter Neumann, Lawrence Robinson ; sponsored by the Institute for Computer Sciences and Technology, National Bureau of Standards.
- Text
- Washington, DC : United States Government Printing Office, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text C 13.10:500-67 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta