Raymond E. Miller

R

Raymond E. Miller

National Aeronautics and Space Administration(US)

198

Papers

7.0K

Citations

29

h-index

63

i10-index

Raymond E. Miller is an academic researcher from National Aeronautics and Space Administration. The author has contributed to research in topics: Formal Methods in Verification & Petri Nets in System Modeling & Distributed systems and fault tolerance. The author has an h-index of 29, co-authored 169 publications.

Research Topics

Formal Methods in VerificationPetri Nets in System ModelingDistributed systems and fault toleranceSoftware Testing and Debugging Techniquessemigroups and automata theory

Chat about Author

Papers

Chat

Click to start Chat