Statistics
Publications
1
Citations
32
H-Index
1
Active since
1987
Affiliations
Lockheed Martin (United States)(Current)
Todd Stock is an author at Lockheed Martin (United States) specializing in deductive verification, system verification, and knowledge-based engineering.
Publications per year
1987–1987
1
1
Building validation tools for knowledge-based systems
Rolf A. Stachowitz, C. L. Chang, Todd Stock et al. · NASA Technical Reports Server (NASA) · 1987 · 32 citations
1–1 of 1