Keith M. Hobley

According to our database, Keith M. Hobley authored at least 4 papers between 1990 and 1996.

Collaborative distances:

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

1996

Integrity Levels and their Application to Road Transport Systems.

Peter H. Jesty, Keith M. Hobley

Proceedings of the 15th International Conference on Computer Safety, 1996

1995

Analysis and Assessment of Advanced Road Transport Telematic Systems.

Keith M. Hobley, Peter H. Jesty

Proceedings of the 14th International Conference on Computer Safety, 1995

1992

FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment.

Victoria Stavridou, Joseph A. Goguen, Andrew Stevens, Steven M. Eker, Serge N. Aloneftis, Keith Michael Hobley

Proceedings of the Theorem Provers in Circuit Design, 1992

1990

Formal specification and verification of synchronous concurrent algorithms.

Keith Michael Hobley

PhD thesis, 1990