Gary Hartmann

According to our database, Gary Hartmann authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Formal Modeling and Analysis of an Avionics Triplex Sensor Voter.

Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt

Proceedings of the Model Checking Software, 2003