K. Marks

According to our database, K. Marks authored at least 1 paper in 1990.

Collaborative distances:

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

1990

On the development of a formal methods-based software design methodology for automotive applications.

S. Tran, John Cullyer, E. Hines, K. Marks

Microprocess. Microsystems, 1990