G. Fuehrer

According to our database, G. Fuehrer authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Formal Specifcation and Refinement of a Safe Train Control Function.

Victor L. Winter, Deepak Kapur, G. Fuehrer

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004