Keith M. Hobley

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

1990
1991
1992
1993
1994
1995
1996
0
1
2
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1996
Integrity Levels and their Application to Road Transport Systems.
Proceedings of the 15th International Conference on Computer Safety, 1996

1995
Analysis and Assessment of Advanced Road Transport Telematic Systems.
Proceedings of the 14th International Conference on Computer Safety, 1995

1992
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment.
Proceedings of the Theorem Provers in Circuit Design, 1992

1990
Formal specification and verification of synchronous concurrent algorithms.
PhD thesis, 1990


  Loading...