Statistics
Publications
2
Citations
80
H-Index
2
Active since
2010
Affiliations
University of Utah(Current)
Robert A. Thacker is an author at University of Utah specializing in engineering, model checking, and formal verification.
Publications per year
2010–2011
2
2
Automatic abstraction for verification of cyber-physical systems
Robert A. Thacker, Kevin R. Jones, Chris J. Myers et al. · 2010 · 57 citations
1–2 of 2