M. Insall

According to our database, M. Insall authored at least 1 paper in 1995.

Collaborative distances:

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

1995

Ensuring the satisfaction of a temporal specification at run-time.

Grace Tsai, M. Insall, Bruce M. McMillin

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995