Mike Cochran

According to our database, Mike Cochran authored at least 1 paper in 1991.

Collaborative distances:

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

1991

Validating the ADARTS software design method for real-time systems.

Mike Cochran, Hassan Gomaa

Proceedings of the Conference on TRI-Ada 1991, 1991