Ted Ralston

According to our database1, Ted Ralston authored at least 6 papers between 1992 and 1995.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1995
Formal Methods Reality Check: Industrial Usage.
IEEE Trans. Software Eng., 1995

The Role of Education and Trainig in the Industrial Application of Formal Methods.
Proceedings of the Algebraic Methodology and Software Technology, 1995

1994
Case Study: Darlington Nuclear Generating Station.
IEEE Softw., 1994

Experience with Formal Methods in Critical Systems.
IEEE Softw., 1994

1993
Observations on Industrial Practice Using Formal Methods.
Proceedings of the 15th International Conference on Software Engineering, 1993

1992
An International Survey of Industrial Applications of Formal Methods.
Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992


  Loading...