James W. Freeman is an author at University of Michigan specializing in engineering, formal verification, and computer science.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceHardware SecurityFormal VerificationHealthForestryLand Use
Publications per year
1962–2013
6
6
The Use of Recreation Planning Tools in U.S. Forest Service NEPA Assessments
Lee K. Cerveny, Dale J. Blahna, Marc J. Stern et al. · Environmental Management · 2011 · 32 citations
Emulation verification of the Motorola 68060
Jayanand Asok Kumar, N.R. Strader, James W. Freeman et al. · 2002 · 18 citations
Structuring Systems for Formal Verification
Richard Neely, James W. Freeman · 1985 · 12 citations
Alexander C. Allori, Edward H. Davidson, Derek D. Reformat et al. · Journal of Tissue Engineering and Regenerative Medicine · 2013 · 11 citations
Rows per page
1–5 of 6