Gary Hartmann

Publication Activity (10 Years)

Years Active: 2003-2003
Publications (10 Years): 0

Publications

Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. SPIN (2003)