J. P. Mocek

According to our database, J. P. Mocek authored at least 1 paper in 1987.

Collaborative distances:

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

1987

Implementation of a model lift control system from a formal specification.

J. P. Mocek, John Alexander McDermid

Softw. Eng. J., 1987